cppcheck/cfg/std.cfg

<?xml version="1.0"?>
<def format="1">
  <function name="abort"><noreturn>true</noreturn></function>
  <function name="abs"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/><not-bool/></arg></function>
  <function name="acos"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="asctime">
    <use-retval/>
    <noreturn>false</noreturn>
    <leak-ignore/>
    <arg nr="1"><not-uninit/></arg>
  </function>
  <function name="assert">
    <leak-ignore/>
  </function>
  <function name="asin"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="atan"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="atan2"><use-retval/><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"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="atoi"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="atol"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="atoll"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="calloc"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
  <function name="ceil"><use-retval/><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"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="cosh"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="ctime">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-uninit/></arg>
  </function>
  <function name="difftime"><use-retval/><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"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="fabs"><use-retval/><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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="ferror">
    <use-retval/>
	  <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"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="fmod"><use-retval/><pure/><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg><arg nr="2"><not-uninit/></arg></function>
  <function name="fopen">
    <use-retval/>
	  <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">
        <use-retval/>
        <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"><use-retval/><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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="isalnum"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isalpha"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isblank"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="iscntrl"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isdigit"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isgraph"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="islower"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isprint"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="ispunct"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isspace"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isupper"> <use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="isxdigit"><use-retval/><pure/><noreturn>false</noreturn> <leak-ignore/>  <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="labs">    <use-retval/><pure/><noreturn>false</noreturn><leak-ignore/>   <arg nr="1"><not-uninit/></arg></function>
  <function name="llabs">   <use-retval/><pure/><noreturn>false</noreturn><leak-ignore/>   <arg nr="1"><not-uninit/></arg></function>
  <function name="ldexp">
       <use-retval/>
       <pure/>
       <noreturn>false</noreturn>
       <leak-ignore/>
       <arg nr="1"><not-uninit/></arg>
       <arg nr="2"><not-uninit/></arg>
  </function>
  <function name="rand">
       <use-retval/>
       <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"><!--<use-retval/>--><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-uninit/></arg></function>
  <function name="log10"><use-retval/><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"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
  <function name="alloca"><use-retval/><noreturn>false</noreturn><arg nr="1"><not-uninit/></arg></function>
  <function name="memchr">
        <use-retval/>
        <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">
        <use-retval/>
        <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">
       <use-retval/>
       <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">
       <use-retval/>
       <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">
       <use-retval/>
       <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"><use-retval/><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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
	  <arg nr="2"><not-uninit/></arg>
  </function>
  <function name="wcschr">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
	  <arg nr="2"><not-uninit/></arg>
  </function>
  <function name="strcmp">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
	</function>
  <function name="wcslen">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
  </function>
  <function name="strcspn">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
    <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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="strtok">
    <use-retval/>
    <noreturn>false</noreturn>
    <pure/>
    <leak-ignore/>
    <arg nr="1">
      <not-uninit/>
    </arg>
    <arg nr="2">
      <not-null/>
      <not-uninit/>
    </arg>
  </function>
  <function name="strtol">
    <use-retval/>
	  <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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="strtod">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="strtold">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="strtoul">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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"></arg></function>
  <function name="tmpfile"> <use-retval/> <noreturn>false</noreturn> </function>
  <function name="tolower"> <use-retval/> <noreturn>false</noreturn> <leak-ignore/> <arg nr="1"><valid>0:255</valid></arg> </function>
  <function name="toupper"> <use-retval/> <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">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="wcstod">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="wcstold">
    <use-retval/>
	  <noreturn>false</noreturn>
	  <leak-ignore/>
	  <arg nr="1"><not-null/><not-uninit/></arg>
  </function>
  <function name="wcstol">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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">
    <use-retval/>
	  <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>