diff --git a/cfg/std.cfg b/cfg/std.cfg
index a1d1d44c2..8139df4b3 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -744,6 +744,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double tgamma(double x); -->
   <function name="tgamma">
     <use-retval/>
     <pure/>
@@ -753,6 +754,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float tgammaf(float x); -->
   <function name="tgammaf">
     <use-retval/>
     <pure/>
@@ -762,6 +764,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double tgammal(long double x); -->
   <function name="tgammal">
     <use-retval/>
     <pure/>
@@ -771,6 +774,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double trunc(double x); -->
   <function name="trunc">
     <use-retval/>
     <pure/>
@@ -780,6 +784,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float truncf(float x); -->
   <function name="truncf">
     <use-retval/>
     <pure/>
@@ -789,6 +794,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double truncl(long double x); -->
   <function name="truncl">
     <use-retval/>
     <pure/>
@@ -1814,6 +1820,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int vfprintf(FILE *stream, const char *format, va_list arg); -->
   <function name="vfprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -1829,6 +1836,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int vfwprintf(FILE *stream, const wchar_t *format, va_list arg); -->
   <function name="vfwprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2022,6 +2030,7 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int vfscanf(FILE *stream, const char * format, va_list arg); -->
   <function name="vfscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2033,6 +2042,18 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int vfwscanf(FILE *stream, const wchar_t * format, va_list arg); -->
+  <function name="vfwscanf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <formatstr/>
+    </arg>
+  </function>
   <!-- int fseek(FILE* stream, long int offset, int origin); -->
   <function name="fseek">
     <noreturn>false</noreturn>
@@ -2226,16 +2247,28 @@
       <not-null/>
     </arg>
   </function>
+  <!-- int wctob(win_t c); -->
+  <function name="wctob">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <pure/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int wctomb(char *s, wchar_t wchar); -->
   <function name="wctomb">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
-      <not-uninit/>
+      <not-null/>
     </arg>
     <arg nr="2">
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcstombs(char *mbstr, const wchar_t *wcstr, size_t n);-->
   <function name="wcstombs">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2270,6 +2303,7 @@
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
+  <!-- int ungetc(int c, FILE *stream); -->
   <function name="ungetc">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2281,6 +2315,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- win_t ungetwc(win_t c, FILE *stream); -->
   <function name="ungetwc">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3560,6 +3595,27 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- wchar_t *wmemchr(const wchar_t *cs, wchar_t c, size_t n);-->
+  <function name="wmemchr">
+    <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>
   <!-- int memcmp(const void *s1, const void *s2, size_t n);-->
   <function name="memcmp">
     <use-retval/>
@@ -3599,6 +3655,24 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- wchar_t * wmemcpy(wchar_t *ct, const wchar_t *cs, size_t n);-->
+  <function name="wmemcpy">
+    <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>
   <!-- void * memmove(void *ct, const void *cs, size_t n); -->
   <function name="memmove">
     <noreturn>false</noreturn>
@@ -3617,6 +3691,24 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); -->
+  <function name="wmemmove">
+    <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>
   <!-- void *memset(void *s, int c, size_t n); -->
   <function name="memset">
     <noreturn>false</noreturn>
@@ -3633,6 +3725,22 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n); -->
+  <function name="wmemset">
+    <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>
   <!-- time_t mktime(struct tm *tp); -->
   <function name="mktime">
     <noreturn>false</noreturn>
@@ -3869,6 +3977,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int vprintf(const char *format, va_list arg); -->
   <function name="vprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3880,6 +3989,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int vprintf(const wchar_t *format, va_list arg); -->
   <function name="vwprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4164,22 +4274,47 @@
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
+  <!-- int vsscanf(const char *s, const char *format, va_list arg); -->
+  <function name="vsscanf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <not-null/>
+      <formatstr/>
+    </arg>
+  </function>
+  <!-- int vswscanf(const wchar_t *s, const wchar_t *format, va_list arg); -->
+  <function name="vswscanf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr scan="true"/>
+    <arg nr="2">
+      <not-null/>
+      <formatstr/>
+    </arg>
+  </function>
+  <!-- int vscanf(const char *format, va_list arg); -->
   <function name="vscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
+  <!-- int vscanf(const wchar_t *format, va_list arg); -->
   <function name="vwscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
@@ -4245,18 +4380,29 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t wcscat(wchar_t *deststr, const char *srcstr); -->
   <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>
+  <!-- size_t wcrtomb(char *s, wchar_t wc, mbstate_t *ps); -->
+  <function name="wcrtomb">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+  </function>
   <!-- char * strchr(const char *cs, int c); -->
   <function name="strchr">
     <use-retval/>
@@ -4270,6 +4416,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t wcschr(const wchar_t *cs, wchar_t c); -->
   <function name="wcschr">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4297,6 +4444,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int wcscmp(const wchar_t *str1, const wchar_t c); -->
   <function name="wcscmp">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4324,6 +4472,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t *wcscpy(wchar_t *deststr, const wchar_t *srcstr); -->
   <function name="wcscpy">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4335,6 +4484,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t strftime(char *s, size_t max, const char *fmt, const struct tm *p); -->
   <function name="strftime">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4353,24 +4503,48 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t strfxtime(char *s, size_t max, const char *fmt, const struct tmx *p); -->
+  <function name="strfxtime">
+    <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>
+  <!-- size_t strlen(const char *string); -->
   <function name="strlen">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcslen(const wchar_t *string); -->
   <function name="wcslen">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
     </arg>
   </function>
+  <!-- char *strncpy(char *s, const char *ct, size_t n); -->
   <function name="strncpy">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4388,6 +4562,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- char * strpbrk(const char *cs, const char *ct); -->
   <function name="strpbrk">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4401,6 +4576,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char * strncat(char *ct, const char *s, size_t n); -->
   <function name="strncat">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4418,6 +4594,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- wchar_t *wcsncat(wchar_t *ct, const wchar_t *cs, size_t n); -->
   <function name="wcsncat">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4434,6 +4611,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- int strncmp(const char *s1, const char *s2, size_t n); -->
   <function name="strncmp">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4470,6 +4648,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- size_t strstr(const char *s1, const char *s2); -->
   <function name="strstr">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4483,10 +4662,12 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t *wcsstr(const wchar_t *s1, const wchar_t *s2); -->
   <function name="wcsstr">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -4496,6 +4677,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t strspn(const char *cs, const char *ct); -->
   <function name="strspn">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4509,6 +4691,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t strxfrm(char *ds, const char *ss, size_t n); -->
   <function name="strxfrm">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4520,6 +4703,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcsxfrm(wchar_t *s1, const wchar_t *s2, size_t n); -->
   <function name="wcsxfrm">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4534,10 +4718,12 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcsspn(const wchar_t *s1, const wchar_t *s2); -->
   <function name="wcsspn">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -4564,6 +4750,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char * strerror(int errornum); -->
   <function name="strerror">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4572,10 +4759,12 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t strcspn(const char *cs, const char *ct); -->
   <function name="strcspn">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -4585,10 +4774,12 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcscspn(const wchar_t *cs, const wchar_t *ct); -->
   <function name="wcscspn">
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <pure/>
     <arg nr="1">
       <not-null/>
       <not-uninit/>
@@ -4598,6 +4789,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t * wcspbrk(const wchar_t *ct, wchar_t c); -->
   <function name="wcspbrk">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4607,10 +4799,10 @@
       <not-uninit/>
     </arg>
     <arg nr="2">
-      <not-null/>
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t * wcsncpy(wchar_t *s, const wchar_t *cs, size_t n); -->
   <function name="wcsncpy">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4639,6 +4831,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int wcscoll(const wchar_t *s1, const wchar_t *s2); -->
   <function name="wcscoll">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4687,6 +4880,25 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- size_t wcsrtombs(char *dst, const wchar_t **src, size_t len, mbstate_t *ps); -->
+  <function name="wcsrtombs">
+    <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>
+    <arg nr="4">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- char *strtok(char *s, const char *ct); -->
   <function name="strtok">
     <!-- strtok may modify the first argument, so using the return value is not mandatory -->
     <noreturn>false</noreturn>
@@ -4700,6 +4912,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long strtol(const char *s, char **endp, int base); -->
   <function name="strtol">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4712,6 +4925,35 @@
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- intmax_t strtoimax(const char *s, char **endp, int base); -->
+  <function name="strtoimax">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- uintmax_t strtoumax(const char *s, char **endp, int base); -->
+  <function name="strtoumax">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <valid>0,2:36</valid>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- float strtof(const char *s, char **endp); -->
   <function name="strtof">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4721,6 +4963,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double strtod(const char *s, char **endp); -->
   <function name="strtod">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4730,6 +4973,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double strtod(const char *s, char **endp); -->
   <function name="strtold">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4739,6 +4983,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- unsigned long strtoul(const char *s, char **endp, int base); -->
   <function name="strtoul">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4751,6 +4996,7 @@
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- long long strtoll(const char *s, char **endp, int base); -->
   <function name="strtoll">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4763,6 +5009,7 @@
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- unsigned long long strtoull(const char *s, char **endp, int base); -->
   <function name="strtoull">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4775,6 +5022,7 @@
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- time_t time(time_t *tp); -->
   <function name="time">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -4782,15 +5030,18 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- char *tmpnam(char *s); -->
   <function name="tmpnam">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1"/>
   </function>
+  <!-- FILE *tmpfile(void); -->
   <function name="tmpfile">
     <use-retval/>
     <noreturn>false</noreturn>
   </function>
+  <!-- int tolower(int c); -->
   <function name="tolower">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4799,6 +5050,7 @@
       <valid>0:255</valid>
     </arg>
   </function>
+  <!-- int toupper(int c); -->
   <function name="toupper">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4823,6 +5075,7 @@
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
+  <!-- float wcstod(const wchar_t *s, wchar ** endp); -->
   <function name="wcstof">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4832,6 +5085,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double wcstod(const wchar_t *s, wchar ** endp); -->
   <function name="wcstod">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4855,6 +5109,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double wcstold(const wchar_t *s, wchar ** endp); -->
   <function name="wcstold">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4864,6 +5119,50 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- wchar_t* wcstok(wchar_t *s, const wchar *ct, wchar_t **ptr); -->
+  <function name="wcstok">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- intmax_t wcstoimax(const wchar_t *s, wchar ** endp, int base); -->
+  <function name="wcstoimax">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0,2:36</valid>
+    </arg>
+  </function>
+  <!-- uintmax_t wcstoumax(const wchar_t *s, wchar ** endp, int base); -->
+  <function name="wcstoumax">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <valid>0,2:36</valid>
+    </arg>
+  </function>
+  <!-- long wcstol(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstol">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4873,9 +5172,11 @@
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-uninit/>
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- long long wcstoll(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoll">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4885,9 +5186,11 @@
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-uninit/>
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- unsigned long wcstoul(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoul">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4897,9 +5200,11 @@
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-uninit/>
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- unsigned long long wcstoull(const wchar_t *s, wchar ** endp, int base); -->
   <function name="wcstoull">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -4909,14 +5214,17 @@
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-uninit/>
       <valid>0,2:36</valid>
     </arg>
   </function>
+  <!-- int wprintf(const wchar_t *format, ...); -->
   <function name="wprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
     <arg nr="1">
+      <not-null/>
       <formatstr/>
     </arg>
     <arg nr="any">
@@ -4929,14 +5237,30 @@
     <leak-ignore/>
     <formatstr/>
     <arg nr="2">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
+  <!-- int vsprintf(char *s, const char *format, va_list arg); -->
   <function name="vsprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
     <arg nr="2">
+      <not-null/>
+      <formatstr/>
+    </arg>
+  </function>
+  <!-- int vswprintf(wchar_t *s, size_t n, const wchar_t *format, va_list arg); -->
+  <function name="vswprintf">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <formatstr/>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
@@ -4958,15 +5282,24 @@
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
     <arg nr="3">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
+  <!-- int vsnprintf(char *s, size_t n, const char *format, va_list arg); -->
   <function name="vsnprintf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr/>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
     <arg nr="3">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
@@ -4978,11 +5311,13 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int wscanf(const wchar_t *format, ...); -->
   <function name="wscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <formatstr scan="true"/>
     <arg nr="1">
+      <not-null/>
       <formatstr/>
     </arg>
   </function>
@@ -5008,6 +5343,7 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int swscanf(const wchar_t *string, const wchar_t *format, ...); -->
   <function name="swscanf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -5016,6 +5352,27 @@
       <formatstr/>
     </arg>
   </function>
+  <!-- int system(const char *command); -->
+  <function name="system">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- struct tmx *zonetime(const time_t *tp, int zone);  -->
+  <function name="zonetime">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
   <container id="stdContainer" endPattern="&gt; !!::">
     <type templateParameter="0"/>
     <size>