cppcheck/cfg/std.cfg

<?xml version="1.0"?>
<def>
  <function name="abort"><noreturn>true</noreturn></function>
  <function name="abs"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
  <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>
  <function name="asin"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <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>
  <function name="calloc"><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
  <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>
  <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><arg nr="1"><not-uninit/></arg></function>
  <function name="exp"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="fabs"><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="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>
  <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>
  <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/></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>
  </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/></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/></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="mbstowcs">
        <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="wcstombs">
        <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="getc">
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </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"> <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="rand">
       <noreturn>false</noreturn>
       <leak-ignore/>
  </function>
  <function name="srand">
       <noreturn>false</noreturn>
       <leak-ignore/>
  </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>
  <function name="localtime">
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <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="alloca"><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>
        <arg nr="2"><not-uninit/><not-bool/><valid>0:</valid></arg>
        <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>
  </function>
  <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>
  <function name="memset">
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/></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-null/><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">
       <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>
	  <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">
       <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>
       <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-null/><not-uninit/></arg>
       <arg nr="3"><not-null/><not-uninit/></arg>
       <arg nr="4"><not-null/><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>
  </function>
  <function name="putwc">
       <noreturn>false</noreturn>
       <leak-ignore/>
       <arg nr="1"><not-null/><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"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><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-null/><not-uninit/></arg></function>

  <memory>
    <dealloc>free</dealloc>

    <alloc init="false">malloc</alloc>
    <alloc init="true">calloc</alloc>
    <alloc init="true">realloc</alloc>
  </memory>

  <resource>
    <dealloc>fclose</dealloc>
    <alloc init="true">fopen</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> 
  </function>
  <function name="wcschr">  
	  <noreturn>false</noreturn> 
	  <leak-ignore/> 
	  <arg nr="1"><not-null/><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/></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-null/><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/></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/></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="wcsrchr"> 
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><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="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="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/><not-uninit/></arg></function>
</def>