Add safe rules for ioctl and fcntl

Author: lucic71

rules/fcntl/tgt_refcount.rs

@@ -0,0 +1,22 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+use libcc2rs::*;
+
+fn f1(a0: i32, a1: i32, args: &[VaArg]) -> i32 {
+    panic!(
+        "fcntl is not supported in the refcount model (fd={}, cmd={}, varargs={})",
+        a0,
+        a1,
+        args.len()
+    )
+}
+
+fn f2(a0: Ptr<u8>, a1: i32, args: &[VaArg]) -> i32 {
+    panic!(
+        "open is not supported in the refcount model (path={:?}, flags={}, varargs={})",
+        a0.to_rust_string(),
+        a1,
+        args.len()
+    )
+}

rules/ioctl/tgt_refcount.rs

@@ -0,0 +1,13 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+use libcc2rs::*;
+
+fn f1(a0: i32, a1: u64, args: &[VaArg]) -> i32 {
+    panic!(
+        "ioctl is not supported in the refcount model (fd={}, request={}, varargs={})",
+        a0,
+        a1,
+        args.len()
+    )
+}

rules/src/modules.rs

@@ -40,6 +40,8 @@ pub mod deque_tgt_unsafe;
 pub mod dirent_tgt_unsafe;
 #[path = r#"../errno/tgt_unsafe.rs"#]
 pub mod errno_tgt_unsafe;
+#[path = r#"../fcntl/tgt_refcount.rs"#]
+pub mod fcntl_tgt_refcount;
 #[path = r#"../fcntl/tgt_unsafe.rs"#]
 pub mod fcntl_tgt_unsafe;
 #[path = r#"../fnmatch/tgt_unsafe.rs"#]
@@ -52,6 +54,8 @@ pub mod fstream_tgt_unsafe;
 pub mod ifaddrs_tgt_unsafe;
 #[path = r#"../initializer_list/tgt_unsafe.rs"#]
 pub mod initializer_list_tgt_unsafe;
+#[path = r#"../ioctl/tgt_refcount.rs"#]
+pub mod ioctl_tgt_refcount;
 #[path = r#"../ioctl/tgt_unsafe.rs"#]
 pub mod ioctl_tgt_unsafe;
 #[path = r#"../iomanip/tgt_unsafe.rs"#]