diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 5fb358991..c31cd5074 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -74,6 +74,40 @@
       <not-bool/>
     </arg>
   </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlopen.html -->
+  <function name="dlopen">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void*"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <not-bool/>
+    </arg>
+  </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlsym.html -->
+  <function name="dlsym">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void*"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- see http://pubs.opengroup.org/onlinepubs/9699919799/functions/dlclose.html -->
+  <function name="dlclose">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="int"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int gettimeofday(struct timeval *tv, struct timezone *tz); -->
   <function name="gettimeofday">
     <noreturn>false</noreturn>