diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index db4f604d6..f8b38b188 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2849,6 +2849,128 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://man7.org/linux/man-pages/man3/opterr.3.html-->
+  <!-- int getopt(int argc, char * const argv[], const char *optstring); -->
+  <function name="getopt">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/setitimer.2.html-->
+  <!-- int getitimer(int which, struct itimerval *curr_value); -->
+  <function name="getitimer">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/setitimer.2.html-->
+  <!-- int setitimer(int which, const struct itimerval *new_value, struct itimerval *old_value); -->
+  <function name="setitimer">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/sigaction.2.html -->
+  <!-- int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact); -->
+  <function name="sigaction">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="3"/>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/getrusage.2.html-->
+  <!-- int getrusage(int who, struct rusage *usage);-->
+  <function name="getrusage">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
+  <!-- int sigemptyset(sigset_t *set); -->
+  <function name="sigemptyset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
+  <!-- int sigfillset(sigset_t *set); -->
+  <function name="sigfillset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
+  <!-- int sigaddset(sigset_t *set, int signum); -->
+  <function name="sigaddset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
+  <!-- int sigdelset(sigset_t *set, int signum);-->
+  <function name="sigdelset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
+  <!-- int sigismember(const sigset_t *set, int signum);-->
+  <function name="sigismember">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
   <memory>
     <alloc init="true">strdup</alloc>
     <alloc init="true">strndup</alloc>
diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index feb6fb27f..40e661d1c 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -989,6 +989,12 @@
     <alloc init="true" arg="1">_tfopen_s</alloc>
     <dealloc>fclose</dealloc>
   </resource>
+  <resource>
+    <alloc init="true">_popen</alloc>
+    <alloc init="true">_wpopen</alloc>
+    <alloc init="true">_tpopen</alloc>
+    <dealloc>_pclose</dealloc>
+  </resource>
   <memory>
     <alloc>ExAllocatePool</alloc>
     <alloc>ExAllocatePoolWithQuota</alloc>
@@ -2730,4 +2736,36 @@ HFONT CreateFont(
       <not-uninit/>
     </arg>
   </function>
+  <!-- int _pclose(FILE *stream); -->
+  <function name="_pclose">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- FILE *_popen( const char *command, const char *mode ); 
+       FILE *_wpopen(const wchar_t *command, const wchar_t *mode);-->
+  <function name="_popen,_wpopen,_tpopen">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- char *_mktemp(char *template);
+       wchar_t *_wmktemp(wchar_t *template); -->
+  <function name="_mktemp,_wmktemp">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
 </def>