diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 279bf4662..c3a062935 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -413,6 +413,25 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int symlinkat(const char *oldpath, int newdirfd, const char *newpath); -->
+  <function name="symlinkat">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int symlink(const char *oldpath, const char *newpath); -->
   <function name="symlink">
     <noreturn>false</noreturn>
@@ -921,6 +940,41 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
     </arg>
   </function>
+  <!-- int mknod(const char *pathname, mode_t mode, dev_t dev); -->
+  <function name="mknod">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int mknodat(int dirfd, const char *pathname, mode_t mode, dev_t dev); -->
+  <function name="mknodat">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="4" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int mkdirat(int dirfd, const char *pathname, mode_t mode); -->
   <function name="mkdirat">
     <noreturn>false</noreturn>
@@ -928,7 +982,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
-      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -946,7 +999,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
-      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -1034,6 +1086,45 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
     </arg>
   </function>
+  <!-- int linkat(int fd1, const char *path1, int fd2, const char *path2, int flag); -->
+  <function name="linkat">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="4" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- int unlinkat(int fd, const char *path, int flag); -->
+  <function name="unlinkat">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int unlink(const char *pathname); -->
   <function name="unlink">
     <noreturn>false</noreturn>
@@ -1088,7 +1179,10 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
   </function>
   <!-- int fstatat(int dirfd, const char *pathname, struct stat *statbuf, int flags); -->
-  <function name="fstatat">
+  <!-- Note: fstatat64() is a large-file version of the fstatat() function as defined in POSIX 1003.1-2008 (ISO/IEC 9945-2009). -->
+  <!-- int fstatat64(int dirfd, const char *pathname, struct stat64  *statbuf, int flags); -->
+  <!-- int __fxstatat64(int dirfd, const char *pathname, struct stat64  *statbuf, int flags); -->
+  <function name="fstatat,fstatat64,__fxstatat64">
     <noreturn>false</noreturn>
     <leak-ignore/>
     <returnValue type="int"/>
@@ -1107,7 +1201,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
       <not-uninit/>
     </arg>
-  </function>  
+  </function>
   <!-- int chmod(const char *path, mode_t mode); -->
   <function name="chmod">
     <noreturn>false</noreturn>
@@ -1221,6 +1315,43 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <warn severity="style" reason="Obsolescent" alternatives="utimensat"/>
   </function>
+  <!-- int futimens(int fd, const struct timespec times[2]);-->
+  <function name="futimens">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <valid>0:</valid>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <minsize type="value" value="2"/>
+    </arg>
+  </function>
+  <!-- int utimensat(int dirfd, const char *pathname, const struct timespec times[2], int flags);-->
+  <function name="utimensat">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+      <not-bool/>
+      <minsize type="value" value="2"/>
+    </arg>
+    <arg nr="4" direction="in">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
   <!-- int utimes(const char *filename, const struct timeval times[2]); -->
   <function name="utimes">
     <noreturn>false</noreturn>
@@ -3015,6 +3146,26 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- int renameat(int olddirfd, const char *oldpath, int newdirfd, const char *newpath); -->
+  <function name="renameat">
+    <returnValue type="int"/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3" direction="in">
+      <not-uninit/>
+    </arg>
+    <arg nr="4" direction="in">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int readlinkat(int dirfd, const char *pathname, char *buf, size_t bufsiz); -->
   <function name="readlinkat">
     <returnValue type="int"/>