diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 7fa3876bf..1c965c17f 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -237,6 +237,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://man7.org/linux/man-pages/man2/access.2.html -->
   <!-- int access(const char *pathname, int mode); -->
   <function name="access">
     <noreturn>false</noreturn>
@@ -249,6 +250,34 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- http://man7.org/linux/man-pages/man2/access.2.html -->
+  <!-- int faccessat(int dirfd, const char *pathname, int mode, int flags); -->
+  <function name="faccessat">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/acct.2.html -->
+  <!-- int acct(const char *filename); -->
+  <function name="acct">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- unsigned int alarm(unsigned int seconds); -->
   <function name="alarm">
     <noreturn>false</noreturn>