svf-tools 1.0.758 → 1.0.760

package/svf-llvm/lib/extapi.c

@@ -0,0 +1,1348 @@
+// #include <stdio.h>
+#define NULL ((void *)0)
+
+/*
+    Functions with __attribute__((annotate("XXX"))) will be handle by SVF specifcially.
+    Their logical behaviours can't be described by C/C++ language. For example, "malloc()" functionality is to alloc an object to it's return value.
+
+    The description of methodProperties is as follows:
+
+        SVF,          // inform SVF that this function is managed by SVF and should not use its body.
+        ALLOC_RET,    // returns a ptr to a newly allocated object
+        ALLOC_ARGi    // stores a pointer to an allocated object in *argi
+        REALLOC_RET,  
+        STATIC,       // retval points to an unknown static var X
+        MEMSET,       // memcpy() operations
+        MEMCPY,       // memset() operations
+        OVERWRITE,    // svf function overwrite app function
+*/
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("OVERWRITE")))
+void *SyGetmem(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+const unsigned short **__ctype_b_loc(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+int **__ctype_tolower_loc(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+int **__ctype_toupper_loc(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+int *__errno_location(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+int * __h_errno_location(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+void* __res_state(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *asctime(const void *timeptr)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * bindtextdomain(const char * domainname, const char * dirname)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * bind_textdomain_codeset(const char * domainname, const char * codeset)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *ctermid(char *s)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * dcgettext(const char * domainname, const char * msgid, int category)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * dgettext(const char * domainname, const char * msgid)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * dngettext(const char * domainname, const char * msgid, const char * msgid_plural, unsigned long int n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+void *fdopen(int fd, const char *mode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct group *getgrgid(unsigned int gid)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct group *getgrnam(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct hostent *gethostbyaddr(const void *addr, unsigned int len, int type)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct hostent *gethostbyname(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct hostent *gethostbyname2(const char *name, int af)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct mntent *getmntent(void *stream)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct protoent *getprotobyname(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct protoent *getprotobynumber(int proto)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct passwd *getpwent(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct passwd *getpwnam(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct passwd *getpwuid(unsigned int uid)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct servent *getservbyname(const char *name, const char *proto)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct servent *getservbyport(int port, const char *proto)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct spwd *getspnam(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * gettext(const char * msgid)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct tm *gmtime(const void *timer)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+const char *gnu_get_libc_version(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+const char * gnutls_check_version(const char * req_version)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct lconv *localeconv(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+struct tm *localtime(const void *timer)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char * ngettext(const char * msgid, const char * msgid_plural, unsigned long int n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+void *pango_cairo_font_map_get_default(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *re_comp(const char *regex)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *setlocale(int category, const char *locale)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *tgoto(const char *cap, int col, int row)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+char *tparm(char *str, ...)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+__attribute__((annotate("STATIC")))
+const char *zError(int a)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *fopen(const char *voidname, const char *mode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *fopen64(const char *voidname, const char *mode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+struct dirent64 *readdir64(void *dirp)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *tmpvoid64(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *calloc(unsigned long nitems, unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *zmalloc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *gzdopen(int fd, const char *mode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *iconv_open(const char *tocode, const char *fromcode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *lalloc(unsigned long size, int a)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *lalloc_clear(unsigned long size, int a)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+long *nhalloc(unsigned int a, const char *b, int c)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *oballoc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *popen(const char *command, const char *type)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *pthread_getspecific(const char *a, const char *b)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+struct dirent *readdir(void *dirp)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* safe_calloc(unsigned nelem, unsigned elsize)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* safe_malloc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char* safecalloc(int a, int b)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char* safemalloc(int a, int b)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *setmntent(const char *voidname, const char *type)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *shmat(int shmid, const void *shmaddr, int shmflg)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* __sysv_signal(int a, void *b)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void (*signal(int sig, void (*func)(int)))(int)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *tempnam(const char *dir, const char *pfx)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *tmpvoid(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* xcalloc(unsigned long size1, unsigned long size2)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* xmalloc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_Znam(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_Znaj(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_Znwj(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *__cxa_allocate_exception(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* aligned_alloc(unsigned long size1, unsigned long size2)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* memalign(unsigned long size1, unsigned long size2)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *valloc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *mmap64(void *addr, unsigned long len, int prot, int flags, int fildes, long off)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *XSetLocaleModifiers(char *a)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char * __strdup(const char * string)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *crypt(const char *key, const char *salt)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *ctime(const void *timer)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *dlerror(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *dlopen(const char *voidname, int flags)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char *gai_strerror(int errcode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char *gcry_cipher_algo_name(int errcode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char *svfgcry_md_algo_name_(int errcode)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *getenv(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *getlogin(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *getpass(const char *prompt)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char * gnutls_strerror(int error)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char *gpg_strerror(unsigned int a)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+const char * gzerror(void* file, int * errnum)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *inet_ntoa(unsigned int in)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *initscr(void)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* llvm_stacksave()
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *mmap(void *addr, unsigned long len, int prot, int flags, int fildes, long off)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *newwin(int nlines, int ncols, int begin_y, int begin_x)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *nl_langinfo(int item)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *opendir(const char *name)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *sbrk(long increment)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *strdup(const char *s)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *strerror(int errnum)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *strsignal(int errnum)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *textdomain(const char * domainname)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *tgetstr(char *id, char **area)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *tigetstr(char *capname)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *tmpnam(char *s)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *ttyname(int fd)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *malloc(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *getcwd(char *buf, unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *mem_realloc(void *ptr, unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *realloc(void *ptr, unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* safe_realloc(void *p, unsigned long n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* saferealloc(void *p, unsigned long n1, unsigned long n2)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+void* safexrealloc()
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *strtok(char *str, const char *delim)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+char *strtok_r(char *str, const char *delim, char **saveptr)
+{
+    return NULL;
+}
+
+__attribute__((annotate("REALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *xrealloc(void *ptr, unsigned long bytes)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_Znwm(unsigned long size)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_ZnwmRKSt9nothrow_t(unsigned long size, void *)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_RET")))
+__attribute__((annotate("SVF")))
+void *_ZnamRKSt9nothrow_t(unsigned long size, void *)
+{
+    return NULL;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int asprintf(char **restrict strp, const char *restrict fmt, ...)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int vasprintf(char **strp, const char *fmt, void* ap)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int db_create(void **dbp, void *dbenv, unsigned int flags)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int gnutls_pkcs12_bag_init(void *a)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int gnutls_pkcs12_init(void *a)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int gnutls_x509_crt_init(void *a)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int gnutls_x509_privkey_init(void *a)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG0")))
+__attribute__((annotate("SVF")))
+int posix_memalign(void **a, unsigned long b, unsigned long c)
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG1")))
+__attribute__((annotate("SVF")))
+int scandir(const char *restrict dirp, struct dirent ***restrict namelist, int (*filter)(const struct dirent *), int (*compar)(const struct dirent **, const struct dirent **))
+{
+    return 0;
+}
+
+__attribute__((annotate("ALLOC_ARG2")))
+__attribute__((annotate("SVF")))
+int XmbTextPropertyToTextList(void *a, void *b, char ***c, int *d)
+{
+    return 0;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memcpy_p0i8_p0i8_i64(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memcpy_p0i8_p0i8_i32(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memcpy(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memmove(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memmove_p0i8_p0i8_i64(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void llvm_memmove_p0i8_p0i8_i32(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void __memcpy_chk(char* dst, char* src, int sz, int flag){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void *memmove(void *str1, const void *str2, unsigned long n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void bcopy(const void *s1, void *s2, unsigned long n){}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void *memccpy( void * restrict dest, const void * restrict src, int c, unsigned long count)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+void __memmove_chk(char* dst, char* src, int sz){}
+
+__attribute__((annotate("MEMSET")))
+__attribute__((annotate("SVF")))
+void llvm_memset(char* dst, char elem, int sz, int flag){}
+
+__attribute__((annotate("MEMSET")))
+__attribute__((annotate("SVF")))
+void llvm_memset_p0i8_i32(char* dst, char elem, int sz, int flag){}
+
+__attribute__((annotate("MEMSET")))
+__attribute__((annotate("SVF")))
+void llvm_memset_p0i8_i64(char* dst, char elem, int sz, int flag){}
+
+__attribute__((annotate("MEMSET")))
+__attribute__((annotate("SVF")))
+char *__memset_chk(char * dest, int c, unsigned long destlen, int flag)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char * __strcpy_chk(char * dest, const char * src, unsigned long destlen)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *__strcat_chk(char * dest, const char * src, unsigned long destlen)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *stpcpy(char *restrict dst, const char *restrict src)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *strcat(char *dest, const char *src)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *strcpy(char *dest, const char *src)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *strncat(char *dest, const char *src, unsigned long n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+char *strncpy(char *dest, const char *src, unsigned long n)
+{
+    return NULL;
+}
+
+__attribute__((annotate("MEMCPY")))
+__attribute__((annotate("SVF")))
+unsigned long iconv(void* cd, char **restrict inbuf, unsigned long *restrict inbytesleft, char **restrict outbuf, unsigned long *restrict outbytesleft)
+{
+    return 0;
+}
+
+__attribute__((annotate("OVERWRITE")))
+__attribute__((annotate("SVF")))
+void* _ZNSt5arrayIPK1ALm2EE4backEv(void *arg)
+{
+    return NULL;
+}
+
+
+void * __rawmemchr(const void * s, int c)
+{
+    return (void *)s;
+}
+
+struct jpeg_error_mgr *jpeg_std_error(struct jpeg_error_mgr * a)
+{
+    return a;
+}
+
+char *fgets(char *str, int n, void *stream)
+{
+    return str;
+}
+
+void *memchr(const void *str, int c, unsigned long n)
+{
+    return (void *)str;
+}
+
+void * mremap(void * old_address, unsigned long old_size, unsigned long new_size, int flags)
+{
+    return old_address;
+}
+
+char *strchr(const char *str, int c)
+{
+    return (char *)str;
+}
+
+char *strerror_r(int errnum, char *buf, unsigned long buflen)
+{
+    return buf;
+}
+
+char *strpbrk(const char *str1, const char *str2)
+{
+    return (char *)str1;
+}
+
+char *strptime(const void* s, const void* format, void* tm)
+{
+    return (char *)s;
+}
+
+char *strrchr(const char *str, int c)
+{
+    return (char *)str;
+}
+
+char *strstr(const char *haystack, const char *needle)
+{
+    return (char *)haystack;
+}
+
+char *tmpnam_r(char *s)
+{
+    return s;
+}
+
+int isalnum(int character)
+{
+    return character;
+}
+
+int isalpha(int character)
+{
+    return character;
+}
+
+int isblank(int character)
+{
+    return character;
+}
+
+int iscntrl(int c)
+{
+    return c;
+}
+
+int isdigit(int c)
+{
+    return c;
+}
+
+int isgraph(int c)
+{
+    return c;
+}
+
+int islower( int arg )
+{
+    return arg;
+}
+
+int isprint(int c)
+{
+    return c;
+}
+
+int ispunct(int argument)
+{
+    return argument;
+}
+
+int isspace(char c)
+{
+    return c;
+}
+
+int isupper(int c)
+{
+    return c;
+}
+
+int isxdigit(int c)
+{
+    return c;
+}
+
+char *asctime_r(const void *tm, char *buf)
+{
+    return buf;
+}
+
+void *bsearch(const void *key, const void *base, unsigned long nitems, unsigned long size, int (*compar)(const void *, const void *))
+{
+    return (void *)base;
+}
+
+struct mntent *getmntent_r(void *fp, struct mntent *mntbuf, char *buf, int buflen)
+{
+    return mntbuf;
+}
+
+struct tm *gmtime_r(const void *timer, struct tm *buf)
+{
+    return buf;
+}
+
+char * gzgets(void* file, char * buf, int len)
+{
+    return buf;
+}
+
+struct tm *localtime_r(const void *timep, struct tm *result)
+{
+    return result;
+}
+
+char *realpath(const char *restrict path, char *restrict resolved_path)
+{
+    return resolved_path;
+}
+
+void* freopen64( const char* voidname, const char* mode, void* fp )
+{
+    return fp;
+}
+
+void* freopen(const char* voidname, const char* mode, void* fp)
+{
+    return fp;
+}
+
+const char *inet_ntop(int af, const void *restrict src,  char *restrict dst, unsigned int size)
+{
+    return dst;
+}
+
+double strtod(const char *str, char **endptr)
+{
+    *endptr = (char *)str;
+    return 0.0;
+}
+
+float strtof(const char *nptr, char **endptr)
+{
+    *endptr = (char *)nptr;
+    return 0.0;
+}
+
+long int strtol(const char *str, char **endptr, int base)
+{
+    *endptr = (char *)str;
+    return 0;
+}
+
+long double strtold(const char* str, char** endptr)
+{
+    *endptr = (char *)str;
+    return 0.0;
+}
+
+unsigned long int strtoul(const char *str, char **endptr, int base)
+{
+    *endptr = (char *)str;
+    return 0;
+}
+
+int readdir_r(void *__restrict__dir, void *__restrict__entry, void **__restrict__result)
+{
+    __restrict__entry = *__restrict__result;   
+    return 0;
+}
+
+int getpwnam_r(const char *name, void *pwd, char *buf, unsigned long buflen, void **result)
+{
+    *result = pwd;
+    return 0;
+}
+
+int getpwuid_r(unsigned int uid, void *pwd, char *buf, unsigned long buflen, void **result)
+{
+    *result = pwd;
+    return 0;
+}
+
+
+void _ZNSt8__detail15_List_node_base7_M_hookEPS0_(void *arg0, void **arg1)
+{
+    *arg1 = arg0;
+}
+
+void* __dynamic_cast(void* source, const void* sourceTypeInfo, const void* targetTypeInfo, unsigned long castType)
+{
+    return source;
+}
+
+void _ZNSsC1EPKcRKSaIcE(void **arg0, void *arg1)
+{
+    *arg0 = arg1;
+}
+
+void _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_(void **arg0, void *arg1)
+{
+    *arg0 = arg1;
+}