diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 436a60d94..18f1289f2 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -80,6 +80,22 @@
     <alloc>dlopen</alloc>
     <dealloc>dlclose</dealloc>
   </resource>
+  <!-- int bind(int socket, const struct sockaddr *address, socklen_t address_len); -->
+  <function name="bind">
+    <noreturn>false</noreturn>
+    <returnValue type="int"/>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+      <minsize type="argvalue" arg="3"/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int connect(int socket, const struct sockaddr *address, socklen_t address_len); -->
   <function name="connect">
     <noreturn>false</noreturn>