diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 969db0bec..cba3630d0 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -11,6 +11,19 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- int symlink(const char *oldpath, const char *newpath); -->
+  <function name="symlink">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- int open(const char *pathname, int flags) -->
   <function name="open">
     <use-retval/>
@@ -23,6 +36,33 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int creat(const char *pathname, mode_t mode); -->
+  <function name="creat">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int open(const char *pathname, int flags, mode_t mode); -->
+  <function name="open">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- unsigned int sleep(unsigned int seconds); -->
   <function name="sleep">
     <noreturn>false</noreturn>
@@ -959,6 +999,7 @@
   <resource>
     <dealloc>close</dealloc>
     <alloc init="true">open</alloc>
+    <alloc init="true">creat</alloc>
     <alloc init="true">socket</alloc>
   </resource>
   <resource>