[unsafe] Rules for locale, netdb, pwd, signal, termios (#134)

Author: lucic71

rules/locale/ir_unsafe.json

@@ -0,0 +1,40 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::setlocale("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": ", "
+      },
+      {
+        "placeholder": {
+          "arg": 1,
+          "access": "read"
+        }
+      },
+      {
+        "text": " as *const i8) as *mut u8"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "i32"
+      },
+      "a1": {
+        "type": "*const u8",
+        "is_unsafe_pointer": true
+      }
+    },
+    "return_type": {
+      "type": "*mut u8",
+      "is_unsafe_pointer": true
+    }
+  }
+}

rules/locale/src.cpp

@@ -0,0 +1,8 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <locale.h>
+
+char *f1(int category, const char *locale) {
+  return setlocale(category, locale);
+}

rules/locale/tgt_unsafe.rs

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

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)
+}

rules/pwd/ir_unsafe.json

@@ -0,0 +1,27 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::getpwuid("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": ")"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "u32"
+      }
+    },
+    "return_type": {
+      "type": "*mut ::libc::passwd",
+      "is_unsafe_pointer": true
+    }
+  }
+}

rules/pwd/src.cpp

@@ -0,0 +1,6 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <pwd.h>
+
+struct passwd *f1(uid_t uid) { return getpwuid(uid); }

rules/pwd/tgt_unsafe.rs

@@ -0,0 +1,6 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+unsafe fn f1(a0: u32) -> *mut ::libc::passwd {
+    libc::getpwuid(a0)
+}

rules/signal/ir_unsafe.json

@@ -0,0 +1,52 @@
+{
+  "f1": {
+    "body": [
+      {
+        "text": "libc::sigaction("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": ", "
+      },
+      {
+        "placeholder": {
+          "arg": 1,
+          "access": "read"
+        }
+      },
+      {
+        "text": ", "
+      },
+      {
+        "placeholder": {
+          "arg": 2,
+          "access": "read"
+        }
+      },
+      {
+        "text": ")"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "i32"
+      },
+      "a1": {
+        "type": "*const ::libc::sigaction",
+        "is_unsafe_pointer": true
+      },
+      "a2": {
+        "type": "*mut ::libc::sigaction",
+        "is_unsafe_pointer": true
+      }
+    },
+    "return_type": {
+      "type": "i32"
+    }
+  }
+}