Add strlen rule + test

Author: lucic71

rules/cstring/ir_unsafe.json

@@ -388,5 +388,30 @@
       "type": "*const u8",
       "is_unsafe_pointer": true
     }
+  },
+  "f7": {
+    "body": [
+      {
+        "text": "libc::strlen("
+      },
+      {
+        "placeholder": {
+          "arg": 0,
+          "access": "read"
+        }
+      },
+      {
+        "text": " as *const i8) as u64"
+      }
+    ],
+    "params": {
+      "a0": {
+        "type": "*const u8",
+        "is_unsafe_pointer": true
+      }
+    },
+    "return_type": {
+      "type": "u64"
+    }
   }
 }

rules/cstring/src.c

@@ -12,3 +12,5 @@ int f3(const void *s1, const void *s2, size_t n) { return memcmp(s1, s2, n); }
 void *f4(void *dst, const void *src, size_t n) { return memmove(dst, src, n); }
 
 char *f5(const char *a0, int a1) { return strchr(a0, a1); }
+
+size_t f7(const char *a0) { return strlen(a0); }

rules/cstring/tgt_unsafe.rs

@@ -43,3 +43,7 @@ unsafe fn f5(a0: *const u8, a1: i32) -> *mut u8 {
 unsafe fn f6(a0: *const u8, a1: i32) -> *const u8 {
     libc::strchr(a0 as *const i8, a1) as *const u8
 }
+
+unsafe fn f7(a0: *const u8) -> u64 {
+    libc::strlen(a0 as *const i8) as u64
+}

tests/unit/cstring.cpp

@@ -43,11 +43,18 @@ static void test_strchr() {
   assert(std::strchr(s, 'z') == nullptr);
 }
 
+static void test_strlen() {
+  assert(std::strlen("") == 0);
+  assert(std::strlen("hello") == 5);
+  assert(std::strlen("hello world") == 11);
+}
+
 int main() {
   test_memcpy();
   test_memset();
   test_memcmp();
   test_memmove();
   test_strchr();
+  test_strlen();
   return 0;
 }

tests/unit/out/unsafe/cstring.rs

@@ -151,6 +151,11 @@ pub unsafe fn test_strchr_4() {
     assert!((((*r) as i32) == (('w' as u8) as i32)));
     assert!((libc::strchr(s as *const i8, (('z' as u8) as i32)) as *const u8).is_null());
 }
+pub unsafe fn test_strlen_5() {
+    assert!(((libc::strlen(b"\0".as_ptr() as *const i8) as u64) == (0_u64)));
+    assert!(((libc::strlen(b"hello\0".as_ptr() as *const i8) as u64) == (5_u64)));
+    assert!(((libc::strlen(b"hello world\0".as_ptr() as *const i8) as u64) == (11_u64)));
+}
 pub fn main() {
     unsafe {
         std::process::exit(main_0() as i32);
@@ -162,5 +167,6 @@ unsafe fn main_0() -> i32 {
     (unsafe { test_memcmp_2() });
     (unsafe { test_memmove_3() });
     (unsafe { test_strchr_4() });
+    (unsafe { test_strlen_5() });
     return 0;
 }

tests/unit/out/unsafe/string_h.rs

@@ -175,6 +175,23 @@ pub unsafe fn test_strchr_4() {
             != 0)
     );
 }
+pub unsafe fn test_strlen_5() {
+    assert!(
+        ((((libc::strlen((b"\0".as_ptr().cast_mut()).cast_const() as *const i8) as u64) == (0_u64))
+            as i32)
+            != 0)
+    );
+    assert!(
+        ((((libc::strlen((b"hello\0".as_ptr().cast_mut()).cast_const() as *const i8) as u64)
+            == (5_u64)) as i32)
+            != 0)
+    );
+    assert!(
+        ((((libc::strlen((b"hello world\0".as_ptr().cast_mut()).cast_const() as *const i8) as u64)
+            == (11_u64)) as i32)
+            != 0)
+    );
+}
 pub fn main() {
     unsafe {
         std::process::exit(main_0() as i32);
@@ -186,5 +203,6 @@ unsafe fn main_0() -> i32 {
     (unsafe { test_memcmp_2() });
     (unsafe { test_memmove_3() });
     (unsafe { test_strchr_4() });
+    (unsafe { test_strlen_5() });
     return 0;
 }

tests/unit/string_h.c

@@ -43,11 +43,18 @@ static void test_strchr(void) {
   assert(strchr((char *)s, 'z') == NULL);
 }
 
+static void test_strlen(void) {
+  assert(strlen("") == 0);
+  assert(strlen("hello") == 5);
+  assert(strlen("hello world") == 11);
+}
+
 int main(void) {
   test_memcpy();
   test_memset();
   test_memcmp();
   test_memmove();
   test_strchr();
+  test_strlen();
   return 0;
 }