2013-07-20 17:12:56 +02:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<def>
|
2014-03-21 17:36:48 +01:00
|
|
|
<function name="abort"><noreturn>true</noreturn></function>
|
2014-04-02 02:03:10 +02:00
|
|
|
<function name="abs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
|
2014-03-21 17:58:19 +01:00
|
|
|
<function name="acos"><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>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="asin"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
2014-03-21 17:58:19 +01:00
|
|
|
<function name="atan"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="atan2"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
|
|
|
<function name="atof"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="atoi"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="atol"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="atoll"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
2014-03-22 03:27:00 +01:00
|
|
|
<function name="calloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
|
2014-03-21 17:58:19 +01:00
|
|
|
<function name="ceil"><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="cos"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="cosh"><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>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="difftime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="div"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="exit"><noreturn>true</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="exp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
2014-03-21 21:37:09 +01:00
|
|
|
<function name="fabs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<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="fgetpos"> <noreturn>false</noreturn><leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><not-uninit/></arg></function>
|
2014-03-20 08:01:48 +01:00
|
|
|
<function name="fgets">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/></arg>
|
|
|
|
<arg nr="2"><not-uninit/><not-bool/><valid>0-</valid></arg>
|
|
|
|
<arg nr="3"><not-null/><not-uninit/></arg>
|
2014-03-19 21:08:48 +01:00
|
|
|
</function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="floor"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="fmod"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><arg nr="2"><not-null/><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>
|
2014-03-21 21:37:09 +01:00
|
|
|
<function name="fprintf"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg><formatstr/><arg nr="2"><formatstr/></arg></function>
|
2014-03-21 01:28:40 +01:00
|
|
|
<function name="fputc">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
2014-04-07 12:08:34 +02:00
|
|
|
<arg nr="1"><not-uninit/><not-bool/><valid>0-</valid></arg>
|
2014-03-20 00:59:52 +01:00
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
2014-03-21 01:28:40 +01:00
|
|
|
<function name="fputs">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
2014-03-20 02:13:41 +01:00
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="fread">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="3"><not-null/><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-null/><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>
|
2014-03-21 21:37:09 +01:00
|
|
|
</function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<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/></arg>
|
|
|
|
<arg nr="2"><not-uninit/><not-bool/><valid>0-</valid></arg>
|
|
|
|
<arg nr="3"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
2014-03-20 05:49:38 +01:00
|
|
|
<function name="ftell">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
2014-03-20 04:10:41 +01:00
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
2014-03-20 06:49:44 +01:00
|
|
|
</function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="fwrite">
|
|
|
|
<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-null/><not-uninit/></arg>
|
|
|
|
<arg nr="4"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
2014-03-21 21:37:09 +01:00
|
|
|
<function name="getc"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
2014-03-21 21:31:12 +01:00
|
|
|
<function name="getenv"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
2014-03-21 21:37:09 +01:00
|
|
|
<function name="gets"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/></arg></function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="gmtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="isalnum"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isalpha"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isblank"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="iscntrl"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isdigit"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isgraph"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="islower"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isprint"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="ispunct"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isspace"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isupper"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="isxdigit"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0-255</valid></arg> </function>
|
|
|
|
<function name="labs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="ldexp">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
|
|
|
<function name="ldiv">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
2014-03-21 22:46:05 +01:00
|
|
|
<function name="localtime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="log"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="log10"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="longjmp">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
|
|
|
<function name="malloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="memchr">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
2014-04-08 18:39:50 +02:00
|
|
|
<arg nr="2"><not-uninit/><not-bool/><valid>0-</valid></arg>
|
2014-03-21 22:39:57 +01:00
|
|
|
<arg nr="3"><not-bool/><valid>0-</valid></arg>
|
|
|
|
</function>
|
|
|
|
<function name="memcmp">
|
|
|
|
<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="memcpy">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="3"><not-bool/><valid>0-</valid></arg>
|
2014-03-21 22:46:05 +01:00
|
|
|
</function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="memmove">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="3"><not-bool/><valid>0-</valid></arg>
|
|
|
|
</function>
|
2014-03-21 22:46:05 +01:00
|
|
|
<function name="memset">
|
2014-03-21 22:39:57 +01:00
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/></arg>
|
2014-03-22 03:27:00 +01:00
|
|
|
<arg nr="2"><not-uninit/></arg>
|
2014-03-21 22:39:57 +01:00
|
|
|
<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-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/></arg>
|
2014-03-21 22:46:05 +01:00
|
|
|
</function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="perror"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
|
|
|
|
<function name="pow">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
|
|
|
</function>
|
|
|
|
<function name="printf">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<formatstr/> <arg nr="1"><formatstr/></arg> <arg nr="any"><not-uninit/></arg>
|
|
|
|
</function>
|
|
|
|
<function name="putc">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
|
|
|
|
<arg nr="2"><not-null/><not-uninit/></arg>
|
2014-03-21 22:46:05 +01:00
|
|
|
</function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="putchar">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
|
2014-03-21 22:46:05 +01:00
|
|
|
</function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<function name="puts">
|
|
|
|
<noreturn>false</noreturn>
|
|
|
|
<leak-ignore/>
|
|
|
|
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
|
|
|
|
</function>
|
2014-03-22 03:27:00 +01:00
|
|
|
<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>
|
2014-03-23 20:01:24 +01:00
|
|
|
</function>
|
2014-03-22 03:27:00 +01:00
|
|
|
<function name="rewind"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
|
|
|
<function name="round"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
2014-03-23 20:01:24 +01:00
|
|
|
<function name="scanf"><noreturn>false</noreturn> <formatstr scan="true"/> <arg nr="1"><formatstr/></arg> </function>
|
2014-03-22 03:27:00 +01:00
|
|
|
<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="setjmp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
2014-03-22 18:43:57 +01:00
|
|
|
|
2014-03-21 21:31:12 +01:00
|
|
|
<memory>
|
|
|
|
<dealloc>free</dealloc>
|
|
|
|
|
|
|
|
<alloc init="false">malloc</alloc>
|
|
|
|
<alloc init="true">calloc</alloc>
|
|
|
|
<alloc init="true">strdup</alloc>
|
|
|
|
<alloc init="true">strndup</alloc>
|
|
|
|
<alloc init="true">realloc</alloc>
|
|
|
|
</memory>
|
|
|
|
|
|
|
|
<resource>
|
|
|
|
<dealloc>fclose</dealloc>
|
|
|
|
<alloc init="true">fopen</alloc>
|
|
|
|
<alloc init="true">freopen</alloc>
|
|
|
|
</resource>
|
2013-11-23 18:18:01 +01:00
|
|
|
|
2014-01-27 17:33:16 +01:00
|
|
|
<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="strchr"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> </function>
|
2014-03-14 20:08:34 +01:00
|
|
|
<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>
|
2014-03-10 02:12:32 +01:00
|
|
|
<function name="strcpy"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
|
2014-01-27 17:33:16 +01:00
|
|
|
<function name="strdup"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><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="strncpy"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/></arg> <arg nr="2"><not-null/><not-uninit/></arg> <arg nr="3"><not-bool/><valid>0-</valid></arg> </function>
|
2014-03-10 02:12:32 +01:00
|
|
|
<function name="strncat"> <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>
|
2014-01-27 17:33:16 +01:00
|
|
|
<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="strstr"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
|
2014-03-10 02:12:32 +01:00
|
|
|
<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="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="strcoll"> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="2"><not-null/><not-uninit/></arg> </function>
|
2014-03-20 08:01:48 +01:00
|
|
|
|
2014-01-27 17:33:16 +01:00
|
|
|
<function name="strtol"> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="strtoll"> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="strtoul"> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="strtoull"> <leak-ignore/> <arg nr="1"><not-null/><not-uninit/></arg> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
2014-03-21 22:39:57 +01:00
|
|
|
<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>
|
2013-12-23 10:06:45 +01:00
|
|
|
<function name="wcstol"> <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="wcstoll"> <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="wcstoul"> <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
|
|
|
<function name="wcstoull"> <leak-ignore/> <arg nr="3"><valid>0,2-36</valid></arg> </function>
|
2014-01-12 12:44:24 +01:00
|
|
|
|
2014-03-21 22:39:57 +01:00
|
|
|
|
2014-01-12 12:44:24 +01:00
|
|
|
<function name="wprintf"> <noreturn>false</noreturn> <formatstr/> <arg nr="1"><formatstr/></arg> </function>
|
|
|
|
<function name="sprintf"> <noreturn>false</noreturn> <formatstr/> <arg nr="2"><formatstr/></arg> </function>
|
|
|
|
<function name="fwprintf"> <noreturn>false</noreturn> <formatstr/> <arg nr="2"><formatstr/></arg> </function>
|
|
|
|
<function name="snprintf"> <noreturn>false</noreturn> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
|
|
|
|
<function name="fnprintf"> <noreturn>false</noreturn> <formatstr/> <arg nr="3"><formatstr/></arg> </function>
|
|
|
|
|
|
|
|
<function name="wscanf"> <noreturn>false</noreturn> <formatstr scan="true"/> <arg nr="1"><formatstr/></arg> </function>
|
|
|
|
<function name="sscanf"> <noreturn>false</noreturn> <formatstr scan="true"/> <arg nr="2"><formatstr/></arg> </function>
|
2014-03-21 21:31:12 +01:00
|
|
|
|
2014-01-12 12:44:24 +01:00
|
|
|
<function name="fwscanf"> <noreturn>false</noreturn> <formatstr scan="true"/> <arg nr="2"><formatstr/></arg> </function>
|
|
|
|
<function name="swscanf"> <noreturn>false</noreturn> <formatstr scan="true"/> <arg nr="2"><formatstr/></arg> </function>
|
2013-07-20 17:12:56 +02:00
|
|
|
</def>
|
|
|
|
|