extapi.c

Go to the documentation of this file.

#include <stddef.h>
 
// Ensure NULL is always defined (but don't redefine)
#ifndef NULL
#  define NULL ((void *)0)
#endif
 
/*
    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:
 
        ALLOC_HEAP_RET,    // returns a pointer to a newly allocated heap object
        ALLOC_HEAP_ARGi    // stores a pointer to an allocated object in *argi
        ALLOC_STACK_RET,   // returns a pointer to a newly allocated stack object
        REALLOC_HEAP_RET,  
        MEMSET,            // memcpy() operations
        MEMCPY,            // memset() operations
        STRLEN,            // reads modeled fields of argument 0; clients compute the length
        OVERWRITE,         // svf function overwrite app function
        STORE_TOP:Argi+,   // store nondeterministic top values through argument i and following arguments
        SCANF:FormatArgi,  // argument i is a scanf-style format string; if it cannot write an address,
                           // the STORE_TOP outputs get an unknown non-pointer value instead of a black-hole pointer
*/
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *malloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg2")))
void *HeapAlloc(void *hHeap, unsigned int dwFlags, unsigned long dwBytes)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *LocalAlloc(unsigned int uFlags, unsigned long uBytes)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *GlobalAlloc(unsigned int uFlags, unsigned long uBytes)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_malloc_dbg(unsigned long size, int blockType, const char *filename, int linenumber)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_aligned_malloc(unsigned long size, unsigned long alignment)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg3")))
void *HeapReAlloc(void *hHeap, unsigned int dwFlags, void *lpMem, unsigned long dwBytes)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *LocalReAlloc(void *hMem, unsigned long uBytes, unsigned int uFlags)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *fopen(const char *voidname, const char *mode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *fopen64(const char *voidname, const char *mode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *fdopen(int fd, const char *mode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
struct dirent64 *readdir64(void *dirp)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *tmpvoid64(void)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0*Arg1")))
void *calloc(unsigned long nitems, unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *zmalloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *gzdopen(int fd, const char *mode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *iconv_open(const char *tocode, const char *fromcode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *lalloc(unsigned long size, int a)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *lalloc_clear(unsigned long size, int a)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
long *nhalloc(unsigned int a, const char *b, int c)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *oballoc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *popen(const char *command, const char *type)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *pthread_getspecific(const char *a, const char *b)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
struct dirent *readdir(void *dirp)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0*Arg1")))
void* safe_calloc(unsigned nelem, unsigned elsize)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void* safe_malloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0*Arg1")))
char* safecalloc(int a, int b)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
char* safemalloc(int a, int b)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *setmntent(const char *voidname, const char *type)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *shmat(int shmid, const void *shmaddr, int shmflg)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void* __sysv_signal(int a, void *b)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void (*signal(int sig, void (*func)(int)))(int)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *tempnam(const char *dir, const char *pfx)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *tmpvoid(void)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void* xcalloc(unsigned long size1, unsigned long size2)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void* xmalloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *__cxa_allocate_exception(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void* aligned_alloc(unsigned long size1, unsigned long size2)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void* memalign(unsigned long size1, unsigned long size2)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *valloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *pvalloc(unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *mmap64(void *addr, unsigned long len, int prot, int flags, int fildes, long off)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *XSetLocaleModifiers(char *a)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char * __strdup(const char * string)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *crypt(const char *key, const char *salt)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *dlerror(void)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *dlopen(const char *voidname, int flags)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char *gai_strerror(int errcode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char *gcry_cipher_algo_name(int errcode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char *svfgcry_md_algo_name_(int errcode)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *getlogin(void)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *getpass(const char *prompt)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char * gnutls_strerror(int error)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char *gpg_strerror(unsigned int a)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
const char * gzerror(void* file, int * errnum)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *inet_ntoa(unsigned int in)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *initscr(void)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void* llvm_stacksave()
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *mmap(void *addr, unsigned long len, int prot, int flags, int fildes, long off)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *newwin(int nlines, int ncols, int begin_y, int begin_x)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *nl_langinfo(int item)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *opendir(const char *name)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void *sbrk(long increment)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *strdup(const char *s)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *strndup(const char *s, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *strerror(int errnum)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *strsignal(int errnum)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *textdomain(const char * domainname)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *tgetstr(char *id, char **area)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *tigetstr(char *capname)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *tmpnam(char *s)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *ttyname(int fd)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
char *getcwd(char *buf, unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
char *mem_realloc(void *ptr, unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
char *realloc(void *ptr, unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1*Arg2")))
char *reallocarray(void *ptr, unsigned long elems, unsigned long size)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void* safe_realloc(void *p, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1*Arg2")))
void* saferealloc(void *p, unsigned long n1, unsigned long n2)
{
    return NULL;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:UNKNOWN")))
void* safexrealloc()
{
    return NULL;
}
 
 
char *strtok(char *str, const char *delim)
{
    return str;
}
 
char *strtok_r(char *str, const char *delim, char **saveptr)
{
    return str;
}
 
char* strsep(char** stringp, const char* delim)
{
    return *stringp;
}
 
__attribute__((annotate("REALLOC_HEAP_RET"), annotate("AllocSize:Arg1")))
void *xrealloc(void *ptr, unsigned long bytes)
{
    return NULL;
}
 
// ::operator new (size (unsigned int))
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_Znwj(unsigned int size)
{
    return NULL;
}
 
// ::operator new (size (unsigned int), nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwjRKSt9nothrow_t(unsigned int size, void *)
{
    return NULL;
}
 
// ::operator new (size (unsigned int), aligned)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwjSt11align_val_t(unsigned int size, unsigned long)
{
    return NULL;
}
 
// ::operator new (size (unsigned int), aligned, nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwjSt11align_val_tRKSt9nothrow_t(unsigned int size, unsigned long, void *)
{
    return NULL;
}
 
// ::operator new[] (size (unsigned int))
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_Znaj(unsigned int size)
{
    return NULL;
}
 
// ::operator new[] (size (unsigned int), nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnajRKSt9nothrow_t(unsigned int size, void *)
{
    return NULL;
}
 
// ::operator new[] (size (unsigned int), aligned)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnajSt11align_val_t(unsigned int size, unsigned long)
{
    return NULL;
}
 
// ::operator new[] (size (unsigned int), aligned, nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnajSt11align_val_tRKSt9nothrow_t(unsigned int size, unsigned long, void *)
{
    return NULL;
}
 
// ::operator new (size (size_t))
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_Znwm(unsigned long size)
{
    return NULL;
}
 
// ::operator new (size (size_t), nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwmRKSt9nothrow_t(unsigned long size, void *)
{
    return NULL;
}
 
// ::operator new (size (size_t), aligned)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwmSt11align_val_t(unsigned long size, unsigned long)
{
    return NULL;
}
 
// ::operator new (size (size_t), aligned, nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnwmSt11align_val_tRKSt9nothrow_t(unsigned long size, unsigned long, void *)
{
    return NULL;
}
 
// ::operator new[]
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_Znam(unsigned long size)
{
    return NULL;
}
 
// ::operator new[] (nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnamRKSt9nothrow_t(unsigned long size, void *)
{
    return NULL;
}
 
// ::operator new[] (aligned)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnamSt11align_val_t(unsigned long size, unsigned long)
{
    return NULL;
}
 
// ::operator new[] (aligned, nothrow)
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *_ZnamSt11align_val_tRKSt9nothrow_t(unsigned long size, unsigned long, void *)
{
    return NULL;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int asprintf(char **__restrict strp, const char *__restrict fmt, ...)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int vasprintf(char **strp, const char *fmt, void* ap)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int db_create(void **dbp, void *dbenv, unsigned int flags)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int gnutls_pkcs12_bag_init(void *a)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int gnutls_pkcs12_init(void *a)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int gnutls_x509_crt_init(void *a)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:UNKNOWN")))
int gnutls_x509_privkey_init(void *a)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG0"), annotate("AllocSize:Arg2")))
int posix_memalign(void **a, unsigned long b, unsigned long c)
{
    return 0;
}
 
__attribute__((annotate("ALLOC_HEAP_ARG1"), annotate("AllocSize:UNKNOWN")))
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_HEAP_ARG2"), annotate("AllocSize:UNKNOWN")))
int XmbTextPropertyToTextList(void *a, void *b, char ***c, int *d)
{
    return 0;
}
 
__attribute__((annotate("MEMCPY")))
void llvm_memcpy_p0i8_p0i8_i64(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memcpy_p0_p0_i64(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memcpy_p0i8_p0i8_i32(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memcpy_p0_p0_i32(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memcpy(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memmove(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memmove_p0i8_p0i8_i64(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memmove_p0_p0_i64(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memmove_p0i8_p0i8_i32(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void llvm_memmove_p0_p0_i32(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void __memcpy_chk(char* dst, char* src, int sz, int flag){}
 
__attribute__((annotate("MEMCPY")))
void *memmove(void *str1, const void *str2, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("MEMCPY")))
void bcopy(const void *s1, void *s2, unsigned long n){}
 
__attribute__((annotate("MEMCPY")))
void *memccpy( void *__restrict dest, const void *__restrict src, int c, unsigned long count)
{
    return NULL;
}
 
__attribute__((annotate("MEMCPY")))
void __memmove_chk(char* dst, char* src, int sz){}
 
__attribute__((annotate("STRLEN")))
size_t strlen(const char *str)
{
    return 0;
}
 
__attribute__((annotate("STRLEN")))
size_t wcslen(const wchar_t *str)
{
    return 0;
}
 
__attribute__((annotate("MEMSET")))
void llvm_memset(char* dst, char elem, int sz, int flag){}
 
__attribute__((annotate("MEMSET")))
void llvm_memset_p0i8_i32(char* dst, char elem, int sz, int flag){}
 
__attribute__((annotate("MEMSET")))
void llvm_memset_p0_i32(char* dst, char elem, int sz, int flag){}
 
__attribute__((annotate("MEMSET")))
void llvm_memset_p0i8_i64(char* dst, char elem, int sz, int flag){}
 
__attribute__((annotate("MEMSET")))
void llvm_memset_p0_i64(char* dst, char elem, int sz, int flag){}
 
__attribute__((annotate("MEMSET")))
char *__memset_chk(char * dest, int c, unsigned long destlen, int flag)
{
    return NULL;
}
 
__attribute__((annotate("MEMSET")))
char *wmemset(wchar_t * dst, wchar_t elem, int sz, int flag) {
    return NULL;
}
 
 
__attribute__((annotate("STRCPY")))
char * __strcpy_chk(char * dest, const char * src, unsigned long destlen)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
char *__strcat_chk(char * dest, const char * src, unsigned long destlen)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
wchar_t* __wcscat_chk(wchar_t * dest, const wchar_t * src)
{
    return NULL;
}
 
__attribute__((annotate("STRCPY")))
char *stpcpy(char *__restrict dst, const char *__restrict src)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
char *strcat(char *dest, const char *src)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
char *wcscat(char *dest, const char *src)
{
    return NULL;
}
 
 
__attribute__((annotate("STRCPY")))
char *strcpy(char *dest, const char *src)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
char *strncat(char *dest, const char *src, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
wchar_t* wcsncat(wchar_t * dest, const wchar_t * src, int n) {
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
char *__strncat_chk(char *dest, const char *src, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("STRCAT")))
wchar_t* __wcsncat_chk(wchar_t * dest, const wchar_t * src, int n) {
    return NULL;
}
 
__attribute__((annotate("MEMCPY")))
char *strncpy(char *dest, const char *src, unsigned long n)
{
    return NULL;
}
 
__attribute__((annotate("STRCPY")))
char *wcscpy(wchar_t* dest, const wchar_t* src) {
    return NULL;
}
 
__attribute__((annotate("MEMCPY")))
unsigned long iconv(void* cd, char **__restrict inbuf, unsigned long *__restrict inbytesleft, char **__restrict outbuf, unsigned long *__restrict outbytesleft)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg1+"), annotate("SCANF:FormatArg0")))
int scanf(const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg1+"), annotate("SCANF:FormatArg0")))
int __isoc99_scanf(const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg2+"), annotate("SCANF:FormatArg1")))
int fscanf(void *stream, const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg2+"), annotate("SCANF:FormatArg1")))
int __isoc99_fscanf(void *stream, const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg2+"), annotate("SCANF:FormatArg1")))
int sscanf(const char *str, const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("STORE_TOP:Arg2+"), annotate("SCANF:FormatArg1")))
int __isoc99_sscanf(const char *str, const char *format, ...)
{
    return 0;
}
 
__attribute__((annotate("OVERWRITE")))
void* _ZNSt5arrayIPK1ALm2EE4backEv(void *arg)
{
    void* ptr1 = (char*)arg + 0;
    void* ptr2 = (char*)ptr1 + 0;
    return ptr2;
}
 
__attribute__((annotate("ALLOC_HEAP_RET"), annotate("AllocSize:Arg0")))
void *SyGetmem(unsigned long size)
{
    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;
}
 
char *fgets_unlocked(char *str, int n, void *stream)
{
    return str;
}
 
char* gets(char *str)
{
    return str;
}
 
void *memchr(const void *str, int c, unsigned long n)
{
    return (void *)str;
}
 
void *memrchr(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 *__strchrnull(const char *s, int c)
{
    return (char *)s;
}
 
char *strcasestr(const char *haystack, const char *needle)
{
    return (char *)haystack;
}
 
char* index(const char *s, int c)
{
    return (char *)s;
}
 
char* rindex(const char *s, int c)
{
    return (char *)s;
}
 
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;
}
 
double strtod_l(const char *str, char **endptr, void *loc)
{
    *endptr = (char *)str;
    return 0.0;
}
 
float strtof(const char *nptr, char **endptr)
{
    *endptr = (char *)nptr;
    return 0.0;
}
 
float strtof_l(const char *nptr, char **endptr, void *loc)
{
    *endptr = (char *)nptr;
    return 0.0;
}
 
long int strtol(const char *str, char **endptr, int base)
{
    *endptr = (char *)str;
    return 0;
}
 
long long strtoll(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;
}
 
unsigned long long strtoull(const char *str, char **endptr, int base)
{
    *endptr = (char *)str;
    return 0;
}
 
char *gcvt(double x, int ndigit, char *buf)
{
    return buf;
}
 
void *memmem(const void *haystack, unsigned long haystacklen, const void *needle, unsigned long needlelen)
{
    return (void *)haystack;
}
 
char* ctime_r(const char *timer, char *buf)
{
    return buf;
}
 
int readdir_r(void *__restrict dir, void *__restrict entry, void **__restrict result)
{
    entry = *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, ptrdiff_t castType)
{
    return source;
}
 
void _ZNSsC1EPKcRKSaIcE(void **arg0, void *arg1)
{
    *arg0 = arg1;
}
 
void _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_(void **arg0, void *arg1)
{
    *arg0 = arg1;
}
 
char getenv_global[10];
char *getenv(const char *name)
{
    return getenv_global;
}
 
unsigned short ctype_b_loc_global[10];
const unsigned short **__ctype_b_loc(void)
{
    return (const unsigned short **)&ctype_b_loc_global;
}
 
int ctype_tolower_loc_global[10];
int **__ctype_tolower_loc(void)
{
    return (int **)&ctype_tolower_loc_global;
}
 
int ctype_toupper_loc_global[10];
int **__ctype_toupper_loc(void)
{
    return (int **)&ctype_toupper_loc_global;
}
 
int error_global[10];
int *__errno_location(void)
{
    return error_global;
}
 
int h_error_global[10];
int * __h_errno_location(void)
{
    return h_error_global;
}
 
int res_state_global[10];
void* __res_state(void)
{
    return res_state_global;
}
 
char time_global[10];
char *asctime(const void *timeptr)
{
    return time_global;
}
 
char *ctime(const void *timer)
{
    return time_global;
}
 
void *gmtime(const void *timer)
{
    return time_global;
}
 
void *localtime(const void *timer)
{
    return time_global;
}
 
char bindtextdomain_global[10];
char * bindtextdomain(const char * domainname, const char * dirname)
{
    return bindtextdomain_global;
}
 
char bind_textdomain_codeset_global[10];
char * bind_textdomain_codeset(const char * domainname, const char * codeset)
{
    return bind_textdomain_codeset_global;
}
 
char ctermid_global[10];
char *ctermid(char *s)
{
    return s ? s : ctermid_global;
}
 
char gettext_global[10];
char * dcgettext(const char * domainname, const char * msgid, int category)
{
    return gettext_global;
}
 
char * dgettext(const char * domainname, const char * msgid)
{
    return gettext_global;
}
 
char * dngettext(const char * domainname, const char * msgid, const char * msgid_plural, unsigned long int n)
{
    return gettext_global;
}
 
char * gettext(const char * msgid)
{
    return gettext_global;
}
 
char * ngettext(const char * msgid, const char * msgid_plural, unsigned long int n)
{
    return gettext_global;
}
 
void *getgrgid_global[10];
void *getgrgid(unsigned int gid)
{
    return getgrgid_global;
}
 
void *getgrnam_global[10];
void *getgrnam(const char *name)
{
    return getgrnam_global;
}
 
void *gethostby_global[10];
void *gethostbyaddr(const void *addr, unsigned int len, int type)
{
    return gethostby_global;
}
 
void *gethostbyname(const char *name)
{
    return gethostby_global;
}
 
void *gethostbyname2(const char *name, int af)
{
    return gethostby_global;
}
 
void *getmntent_global[10];
void *getmntent(void *stream)
{
    return getmntent_global;
}
 
void *getproto_global[10];
void *getprotobyname(const char *name)
{
    return getproto_global;
}
 
void *getprotobynumber(int proto)
{
    return getproto_global;
}
 
void *getpw_global[10];
void *getpwent(void)
{
    return getpw_global;
}
 
void *getpwnam(const char *name)
{
    return getpw_global;
}
 
void *getpwuid(unsigned int uid)
{
    return getpw_global;
}
 
void *getserv_global[10];
void *getservbyname(const char *name, const char *proto)
{
    return getserv_global;
}
 
void *getservbyport(int port, const char *proto)
{
    return getserv_global;
}
 
void *getspnam_global[10];
void *getspnam(const char *name)
{
    return getspnam_global;
}
 
char gnu_get_libc_version_global[10];
const char *gnu_get_libc_version(void)
{
    return gnu_get_libc_version_global;
}
 
char gnutls_check_version_global[10];
const char * gnutls_check_version(const char * req_version)
{
    return gnutls_check_version_global;
}
 
void *localeconv_global[10];
void *localeconv(void)
{
    return localeconv_global;
}
 
void *pango_cairo_font_map_global[10];
void *pango_cairo_font_map_get_default(void)
{
    return pango_cairo_font_map_global;
}
 
char re_comp_global[10];
char *re_comp(const char *regex)
{
    return re_comp_global;
}
 
char setlocale_global[10];
char *setlocale(int category, const char *locale)
{
    return setlocale_global;
}
 
char tgoto_global[10];
char *tgoto(const char *cap, int col, int row)
{
    return tgoto_global;
}
 
char tparm_global[10];
char *tparm(char *str, ...)
{
    return tparm_global;
}
 
char zError_global[10];
const char *zError(int a)
{
    return zError_global;
}