diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 8b11e9fec..711a18c97 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -22,6 +22,30 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- unsigned int alarm(unsigned int seconds); -->
+  <function name="alarm">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- int brk(void *addr); -->
+  <function name="brk">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- void *sbrk(intptr_t incr);-->
+  <function name="sbrk">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- int closedir(DIR *dir); -->
   <function name="closedir">
     <noreturn>false</noreturn>
@@ -136,6 +160,15 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- int chroot(const char *path); -->
+  <function name="chroot">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- int link(const char *oldpath, const char *newpath); -->
   <function name="link">
     <noreturn>false</noreturn>
@@ -251,6 +284,13 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int close(int fildes);-->
+  <function name="close">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <function name="fdopen">
     <noreturn>false</noreturn>
     <arg nr="1">
@@ -566,4 +606,5 @@
   <podtype name="sigjmp_buf"/>
   <podtype name="sigset_t"/>
   <podtype name="termios"/>
+  <podtype name="intptr_t"/>
 </def>