diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 4c4846d7c..79fd5f441 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -6,7 +6,7 @@
   </memory>
   <!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
   <!-- int accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags); -->
-  <function name="accept">
+  <function name="accept4">
     <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
@@ -360,16 +360,6 @@
     </arg>
     <leak-ignore/>
   </function>
-  <!-- uint32_t inet_addr (const char *name); -->
-  <function name="inet_addr">
-    <returnValue type="uint32_t"/>
-    <noreturn>false</noreturn>
-    <arg nr="1">
-      <not-uninit/>
-      <not-null/>
-    </arg>
-    <leak-ignore/>
-  </function>
   <!-- uint32_t inet_network (const char *name); -->
   <function name="inet_network">
     <returnValue type="uint32_t"/>
@@ -380,15 +370,6 @@
     </arg>
     <leak-ignore/>
   </function>
-  <!-- char * inet_ntoa (struct in_addr addr); -->
-  <function name="inet_ntoa">
-    <returnValue type="char *"/>
-    <noreturn>false</noreturn>
-    <arg nr="1">
-      <not-uninit/>
-    </arg>
-    <leak-ignore/>
-  </function>
   <!-- struct in_addr inet_makeaddr (uint32_t net, uint32_t local); -->
   <function name="inet_makeaddr">
     <returnValue type="struct in_addr"/>
diff --git a/cfg/motif.cfg b/cfg/motif.cfg
index 65f0f12d8..68f3800c2 100644
--- a/cfg/motif.cfg
+++ b/cfg/motif.cfg
@@ -144,6 +144,7 @@
   <function name="XtDisplay,XtDisplayOfObject">
     <leak-ignore/>
     <noreturn>false</noreturn>
+    <use-retval/>
     <returnValue type="Display *"/>
     <use-retval/>
     <arg nr="1">
@@ -156,6 +157,21 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int XtSetArg(Arg arg, String name, XtArgVal value);  -->
+  <function name="XtSetArg">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <strz/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="XtSetValues,XtGetValues">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -207,11 +223,22 @@
   </function>
   <function name="XtWindow,XtWindowOfObject">
     <leak-ignore/>
+    <use-retval/>
     <returnValue type="Window"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
   </function>
+  <function name="XtVaGetValues,XtVaSetValues">
+    <leak-ignore/>
+    <use-retval/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="any">
+      <not-uninit/>
+    </arg>
+  </function>
   <resource>
     <dealloc>XtFree</dealloc>
     <alloc init="true">XtMalloc</alloc>
@@ -238,11 +265,13 @@
   <podtype name="XtGCMask" sign="u"/>
   <!-- X11... -->
   <function name="XOpenDisplay">
+    <use-retval/>
     <noreturn>false</noreturn>
     <returnValue type="Display *"/>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
+      <strz/>
     </arg>
   </function>
   <function name="XCloseDisplay">
@@ -262,6 +291,7 @@
   </function>
   <function name="XtScreen,XtScreenOfObject">
     <noreturn>false</noreturn>
+    <use-retval/>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
@@ -275,8 +305,8 @@
     </arg>
   </function>
   <resource>
-    <dealloc>XCloseDisplay</dealloc>
     <alloc init="true">XOpenDisplay</alloc>
+    <dealloc>XCloseDisplay</dealloc>
   </resource>
   <podtype name="XrmDatabase"/>
 </def>
diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 4f2565c01..9e3471bca 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -155,18 +155,21 @@
   <function name="dup">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
+    <use-retval/>
     <arg nr="1">
       <not-bool/>
       <not-uninit/>
     </arg>
   </function>
-  <!-- int dup(int fildes);
+  <!-- int dup(int fildes1, int filedes2);
      see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dup.html -->
   <function name="dup2">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
     <arg nr="1">
-  </arg>
+      <not-bool/>
+      <not-uninit/>
+    </arg>
     <arg nr="2">
       <not-bool/>
       <not-uninit/>
@@ -1665,6 +1668,35 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
     </arg>
   </function>
+  <!-- int pselect(int nfds, fd_set *restrict readfds,
+       fd_set *restrict writefds, fd_set *restrict errorfds,
+       const struct timespec *restrict timeout,
+       const sigset_t *restrict sigmask);
+	   see http://pubs.opengroup.org/onlinepubs/9699919799/functions/pselect.html -->
+  <function name="pselect">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+    <arg nr="5">
+      <not-uninit/>
+    </arg>
+    <arg nr="6">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int select(int nfds, fd_set *restrict readfds, fd_set * writefds, fd_set * errorfds, struct timeval *timeout);
        see http://pubs.opengroup.org/onlinepubs/9699919799/functions/pselect.html -->
   <function name="select">
@@ -1672,16 +1704,17 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <leak-ignore/>
     <arg nr="1">
-      <!-- ignored -->
+      <not-bool/>
+      <not-uninit/>
     </arg>
     <arg nr="2">
-      <!-- optional -->
+      <not-uninit/>
     </arg>
     <arg nr="3">
-      <!-- optional -->
+      <not-uninit/>
     </arg>
     <arg nr="4">
-      <!-- optional -->
+      <not-uninit/>
     </arg>
     <arg nr="5">
       <not-uninit/>
@@ -1790,6 +1823,29 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
     </arg>
   </function>
+  <!-- in_addr_t inet_addr(const char *cp);
+       http://pubs.opengroup.org/onlinepubs/009695399/functions/inet_addr.html -->
+  <function name="inet_addr">
+    <leak-ignore/>
+    <returnValue type="in_addr_t"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+      <strz/>
+    </arg>
+  </function>
+  <!-- char *inet_ntoa(struct in_addr in);
+       http://pubs.opengroup.org/onlinepubs/009695399/functions/inet_addr.html -->
+  <function name="inet_ntoa">
+    <leak-ignore/>
+    <returnValue type="char *"/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- int      mq_close(mqd_t); -->
   <function name="mq_close">
     <returnValue type="int"/>