876 lines
30 KiB
INI
876 lines
30 KiB
INI
<?xml version="1.0"?>
|
|
<def>
|
|
<function name="abort"><noreturn>true</noreturn></function>
|
|
<function name="abs"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
|
|
<function name="acos"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="asctime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="assert">
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="asin"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="atan"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="atan2"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
|
<function name="atexit"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/></arg></function>
|
|
<function name="atof"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="atoi"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="atol"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="atoll"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="calloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
|
<function name="ceil"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="clearerr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="clock"><noreturn>false</noreturn><leak-ignore/></function>
|
|
<function name="cos"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="cosh"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="ctime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="difftime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
|
<function name="div">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="exit"><noreturn>true</noreturn><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="exp"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="fabs"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="fclose">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="feof">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="ferror">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fflush">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/><arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="fgetc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fgetwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fgetpos">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="floor"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="fmod"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
|
<function name="fopen">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg><formatstr/>
|
|
<arg nr="2"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="vfprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<formatstr/><arg nr="2"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="vfwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<formatstr/><arg nr="2"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="fputc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fputwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/><not-bool/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fputs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fputws">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fread">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="mul" arg="2" arg2="3"/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
<arg nr="4"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="free">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1"><not-uninit/>
|
|
</arg></function>
|
|
<function name="freopen">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="frexp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-null/></arg>
|
|
</function>
|
|
<function name="fscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<formatstr scan="true"/><arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="vfscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<formatstr scan="true"/><arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="fseek">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="fsetpos">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fgets">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="argvalue" arg="2"/></arg>
|
|
<arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
<arg nr="3"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="ftell">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="fwrite">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/><minsize type="mul" arg="2" arg2="3"/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
<arg nr="4"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="mblen">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="mbtowc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="mbstowcs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="wctomb">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcstombs">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="getc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="getchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="ungetc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="ungetwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="getenv"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
<function name="gets">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
</function>
|
|
<function name="gmtime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="isalnum"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isalpha"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isblank"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="iscntrl"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isdigit"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isgraph"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="islower"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isprint"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="ispunct"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isspace"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isupper"> <pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="isxdigit"><pure/><noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="labs"> <pure/><noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-uninit/></arg></function>
|
|
<function name="llabs"> <pure/><noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-uninit/></arg></function>
|
|
<function name="ldexp">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="rand">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="srand">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="ldiv">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="lldiv">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="localtime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="log"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="log10"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="longjmp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="malloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="alloca"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="memchr">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="memcmp">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="memcpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="memmove">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="memset">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="mktime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="modf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-null/></arg>
|
|
</function>
|
|
<function name="perror">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
</function>
|
|
<function name="pow">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="printf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/> <arg nr="1"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="vprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/> <arg nr="1"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="vwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/> <arg nr="1"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="bsearch">
|
|
<pure/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
<arg nr="4"><not-uninit/></arg>
|
|
<arg nr="5"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="qsort">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
<arg nr="4"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="putc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="putwc">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/><not-bool/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="putchar">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="puts">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="realloc">
|
|
<noreturn>false</noreturn>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="remove">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="rename">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="rewind">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="round"><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
<function name="scanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/><arg nr="1"><formatstr/></arg>
|
|
</function>
|
|
<function name="vscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/><arg nr="1"><formatstr/></arg>
|
|
</function>
|
|
<function name="setbuf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-bool/></arg>
|
|
</function>
|
|
<function name="setvbuf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
<arg nr="4"><not-uninit/></arg>
|
|
</function>
|
|
<function name="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<memory>
|
|
<dealloc>free</dealloc>
|
|
|
|
<alloc init="false">malloc</alloc>
|
|
<alloc init="true">calloc</alloc>
|
|
</memory>
|
|
|
|
<resource>
|
|
<dealloc>fclose</dealloc>
|
|
<alloc init="true">fopen</alloc>
|
|
<alloc init="true">tmpfile</alloc>
|
|
<alloc init="true">freopen</alloc>
|
|
</resource>
|
|
|
|
<function name="strcat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcscat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strchr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcschr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
</function>
|
|
<function name="strcmp">
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcscmp">
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strcpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="strlen" arg="2"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcscpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strftime">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
<arg nr="2"><not-uninit/></arg>
|
|
<arg nr="3"><not-null/><not-uninit/></arg>
|
|
<arg nr="4"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strlen">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcslen">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strncpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><minsize type="sizeof" arg="2"/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="strncat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/><minsize type="argvalue" arg="3"/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="wcsncat">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="strncmp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="wcsncmp">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-bool/><valid>0:</valid></arg>
|
|
</function>
|
|
<function name="strstr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcsstr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strspn">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strxfrm">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcsxfrm">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcsspn">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strerror">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
</function>
|
|
<function name="strcspn">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcscspn">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcspbrk">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcsncpy">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><not-uninit/></arg>
|
|
</function>
|
|
<function name="strcoll">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcscoll">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strrchr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><valid>0:255</valid></arg>
|
|
</function>
|
|
<function name="strbprk">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<pure/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcsrchr">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strtok">
|
|
<noreturn>false</noreturn>
|
|
<pure/>
|
|
<leak-ignore/>
|
|
<arg nr="1">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2">
|
|
<not-null/>
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="strtol">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="strtof">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strtod">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strtold">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="strtoul">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="strtoll">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="strtoull">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/>
|
|
</arg> <arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="time"> <noreturn>false</noreturn> <leak-ignore/> </function>
|
|
<function name="tmpnam"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-uninit/></arg></function>
|
|
<function name="tmpfile"> <noreturn>false</noreturn> </function>
|
|
<function name="tolower"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="toupper"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
|
|
<function name="va_arg"> <noreturn>false</noreturn> <leak-ignore/> </function>
|
|
<function name="va_copy"> <noreturn>false</noreturn> <leak-ignore/> </function>
|
|
<function name="va_end"> <noreturn>false</noreturn> <leak-ignore/> </function>
|
|
<function name="va_start"> <noreturn>false</noreturn> <leak-ignore/> </function>
|
|
<function name="wcstof">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcstod">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcstold">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
</function>
|
|
<function name="wcstol">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="wcstoll">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="wcstoul">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
<function name="wcstoull">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
<arg nr="3"><valid>0,2:36</valid></arg>
|
|
</function>
|
|
|
|
<function name="wprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/><formatstr/><arg nr="1"><formatstr/></arg>
|
|
<arg nr="any"><not-uninit/></arg>
|
|
</function>
|
|
<function name="sprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/><arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="vsprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/><arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="fwprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/>
|
|
<arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="snprintf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr/> <arg nr="3"><formatstr/></arg>
|
|
</function>
|
|
<function name="vsnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
|
|
<function name="fnprintf"> <noreturn>false</noreturn> <leak-ignore/> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
|
|
|
|
<function name="wscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/> <arg nr="1"><formatstr/></arg>
|
|
</function>
|
|
<function name="sscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/> <arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="fwscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/> <arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
<function name="swscanf">
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<formatstr scan="true"/><arg nr="2"><formatstr/></arg>
|
|
</function>
|
|
|
|
<podtype name="int8_t" sign="s" size="1"/>
|
|
<podtype name="int16_t" sign="s" size="2"/>
|
|
<podtype name="int32_t" sign="s" size="4"/>
|
|
<podtype name="int64_t" sign="s" size="8"/>
|
|
<podtype name="uint8_t" sign="u" size="1"/>
|
|
<podtype name="uint16_t" sign="u" size="2"/>
|
|
<podtype name="uint32_t" sign="u" size="4"/>
|
|
<podtype name="uint64_t" sign="u" size="8"/>
|
|
<podtype name="int_fast8_t" sign="s"/>
|
|
<podtype name="int_fast16_t" sign="s"/>
|
|
<podtype name="int_fast32_t" sign="s"/>
|
|
<podtype name="int_fast64_t" sign="s"/>
|
|
<podtype name="uint_fast8_t" sign="u"/>
|
|
<podtype name="uint_fast16_t" sign="u"/>
|
|
<podtype name="uint_fast32_t" sign="u"/>
|
|
<podtype name="uint_fast64_t" sign="u"/>
|
|
<podtype name="intptr_t" sign="s"/>
|
|
<podtype name="uintptr_t" sign="u"/>
|
|
|
|
<!--Not part of standard, but widely supported by runtime libraries-->
|
|
<function name="itoa"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-null/></arg></function>
|
|
</def>
|
|
|