diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index fbd976e4e..52d3d6f33 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -39,6 +39,30 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/access.html -->
+  <!-- int access(const char *pathname, int amode); -->
+  <function name="access">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/adjtime.3.html -->
+  <!-- int adjtime(const struct timeval *delta, struct timeval *olddelta); -->
+  <function name="adjtime">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2"/>
+  </function>
   <!-- struct group *getgrnam(const char *name); -->
   <function name="getgrnam">
     <use-retval/>
@@ -116,6 +140,43 @@
       <not-null/>
     </arg>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/009695399/functions/fdatasync.html -->
+  <!-- int fdatasync(int fildes); -->
+  <function name="fdatasync">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/fnmatch.html -->
+  <!-- int fnmatch(const char *pattern, const char *string, int flags); -->
+  <function name="fnmatch">
+    <pure/>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/009695399/functions/fsync.html -->
+  <!-- int fsync(int fildes); -->
+  <function name="fsync">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int truncate(const char *path, off_t length); -->
   <function name="truncate">
     <noreturn>false</noreturn>