Add more rules

Author: lucic71

rules/dirent/src.cpp

@@ -0,0 +1,12 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <dirent.h>
+
+using t1 = DIR *;
+
+DIR *f1(const char *name) { return opendir(name); }
+
+struct dirent *f2(DIR *dirp) { return readdir(dirp); }
+
+int f3(DIR *dirp) { return closedir(dirp); }

rules/dirent/tgt_unsafe.rs

@@ -0,0 +1,19 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+fn types() -> Result<(), Box<dyn std::error::Error>> {
+    let t1: *mut ::libc::DIR = std::ptr::null_mut();
+    Ok(())
+}
+
+unsafe fn f1(a0: *const u8) -> *mut ::libc::DIR {
+    libc::opendir(a0 as *const i8)
+}
+
+unsafe fn f2(a0: *mut ::libc::DIR) -> *mut ::libc::dirent {
+    libc::readdir(a0)
+}
+
+unsafe fn f3(a0: *mut ::libc::DIR) -> i32 {
+    libc::closedir(a0)
+}

rules/fnmatch/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 <fnmatch.h>
+
+int f1(const char *pattern, const char *string, int flags) {
+  return fnmatch(pattern, string, flags);
+}

rules/fnmatch/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: *const u8, a1: *const u8, a2: i32) -> i32 {
+    libc::fnmatch(a0 as *const i8, a1 as *const i8, a2)
+}

rules/net_if/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 <net/if.h>
+
+unsigned int f1(const char *ifname) { return if_nametoindex(ifname); }

rules/net_if/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: *const u8) -> u32 {
+    libc::if_nametoindex(a0 as *const i8)
+}

rules/socket/src.c

@@ -69,3 +69,17 @@ int f15(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags) {
 int f16(int sockfd, const struct sockaddr *addr, socklen_t addrlen) {
   return bind(sockfd, addr, addrlen);
 }
+
+int f17(int sockfd, int backlog) {
+  return listen(sockfd, backlog);
+}
+
+ssize_t f18(int sockfd, void *buf, size_t len, int flags,
+            struct sockaddr *src_addr, socklen_t *addrlen) {
+  return recvfrom(sockfd, buf, len, flags, src_addr, addrlen);
+}
+
+ssize_t f19(int sockfd, const void *buf, size_t len, int flags,
+            const struct sockaddr *dest_addr, socklen_t addrlen) {
+  return sendto(sockfd, buf, len, flags, dest_addr, addrlen);
+}

rules/socket/tgt_unsafe.rs

@@ -64,3 +64,29 @@ unsafe fn f15(a0: i32, a1: *mut ::libc::sockaddr, a2: *mut u32, a3: i32) -> i32
 unsafe fn f16(a0: i32, a1: *const ::libc::sockaddr, a2: u32) -> i32 {
     libc::bind(a0, a1, a2)
 }
+
+unsafe fn f17(a0: i32, a1: i32) -> i32 {
+    libc::listen(a0, a1)
+}
+
+unsafe fn f18(
+    a0: i32,
+    a1: *mut ::libc::c_void,
+    a2: u64,
+    a3: i32,
+    a4: *mut ::libc::sockaddr,
+    a5: *mut u32,
+) -> i64 {
+    libc::recvfrom(a0, a1, a2 as usize, a3, a4, a5) as i64
+}
+
+unsafe fn f19(
+    a0: i32,
+    a1: *const ::libc::c_void,
+    a2: u64,
+    a3: i32,
+    a4: *const ::libc::sockaddr,
+    a5: u32,
+) -> i64 {
+    libc::sendto(a0, a1, a2 as usize, a3, a4, a5) as i64
+}

rules/src/modules.rs

@@ -36,8 +36,12 @@ pub mod cstring_tgt_unsafe;
 pub mod deque_tgt_refcount;
 #[path = r#"../deque/tgt_unsafe.rs"#]
 pub mod deque_tgt_unsafe;
+#[path = r#"../dirent/tgt_unsafe.rs"#]
+pub mod dirent_tgt_unsafe;
 #[path = r#"../errno/tgt_unsafe.rs"#]
 pub mod errno_tgt_unsafe;
+#[path = r#"../fnmatch/tgt_unsafe.rs"#]
+pub mod fnmatch_tgt_unsafe;
 #[path = r#"../fstream/tgt_refcount.rs"#]
 pub mod fstream_tgt_refcount;
 #[path = r#"../fstream/tgt_unsafe.rs"#]
@@ -64,6 +68,8 @@ pub mod map_tgt_refcount;
 pub mod map_tgt_unsafe;
 #[path = r#"../math/tgt_unsafe.rs"#]
 pub mod math_tgt_unsafe;
+#[path = r#"../net_if/tgt_unsafe.rs"#]
+pub mod net_if_tgt_unsafe;
 #[path = r#"../netdb/tgt_unsafe.rs"#]
 pub mod netdb_tgt_unsafe;
 #[path = r#"../pair/tgt_refcount.rs"#]

rules/stdio/src.cpp

@@ -60,3 +60,5 @@ FILE *f20(int fd, const char *mode) { return fdopen(fd, mode); }
 int f22(const char *a0, const char *a1) {
   return rename(a0, a1);
 }
+
+int f23(FILE *stream) { return getc(stream); }