Add rules for netdb

Author: lucic71

rules/netdb/ir_unsafe.json

@@ -0,0 +1,88 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::getaddrinfo("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": " as *const i8, "
+      },
+      {
+        "placeholder": {
+          "arg": 1,
+          "access": "read"
+        }
+      },
+      {
+        "text": " as *const i8, "
+      },
+      {
+        "placeholder": {
+          "arg": 2,
+          "access": "read"
+        }
+      },
+      {
+        "text": ", "
+      },
+      {
+        "placeholder": {
+          "arg": 3,
+          "access": "read"
+        }
+      },
+      {
+        "text": ")"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "*const u8",
+        "is_unsafe_pointer": true
+      },
+      "a1": {
+        "type": "*const u8",
+        "is_unsafe_pointer": true
+      },
+      "a2": {
+        "type": "*const ::libc::addrinfo",
+        "is_unsafe_pointer": true
+      },
+      "a3": {
+        "type": "*mut *mut ::libc::addrinfo",
+        "is_unsafe_pointer": true
+      }
+    },
+    "return_type": {
+      "type": "i32"
+    }
+  },
+  "f2": {
+    "body": [
+      {
+        "text": "libc::freeaddrinfo("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": ")"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "*mut ::libc::addrinfo",
+        "is_unsafe_pointer": true
+      }
+    }
+  }
+}

rules/netdb/src.cpp

@@ -0,0 +1,11 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <netdb.h>
+
+int f1(const char *node, const char *service, const struct addrinfo *hints,
+       struct addrinfo **res) {
+  return getaddrinfo(node, service, hints, res);
+}
+
+void f2(struct addrinfo *res) { return freeaddrinfo(res); }

rules/netdb/tgt_unsafe.rs

@@ -0,0 +1,15 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+unsafe fn f1(
+    a0: *const u8,
+    a1: *const u8,
+    a2: *const ::libc::addrinfo,
+    a3: *mut *mut ::libc::addrinfo,
+) -> i32 {
+    libc::getaddrinfo(a0 as *const i8, a1 as *const i8, a2, a3)
+}
+
+unsafe fn f2(a0: *mut ::libc::addrinfo) {
+    libc::freeaddrinfo(a0)
+}

tests/unit/netdb.c

@@ -0,0 +1,25 @@
+// no-compile: refcount
+#include <assert.h>
+#include <netdb.h>
+#include <stddef.h>
+#include <string.h>
+#include <sys/socket.h>
+
+static void test_getaddrinfo(void) {
+  struct addrinfo hints;
+  memset(&hints, 0, sizeof(hints));
+  hints.ai_family = AF_INET;
+  hints.ai_socktype = SOCK_STREAM;
+  hints.ai_flags = AI_NUMERICHOST;
+  struct addrinfo *res = NULL;
+  assert(getaddrinfo("127.0.0.1", "80", &hints, &res) == 0);
+  assert(res != NULL);
+  assert(res->ai_family == AF_INET);
+  assert(res->ai_socktype == SOCK_STREAM);
+  freeaddrinfo(res);
+}
+
+int main(void) {
+  test_getaddrinfo();
+  return 0;
+}