Skip to content

Commit bb191b7

Browse files
committed
Add more rules for bind and ifaddrs
1 parent d515e0e commit bb191b7

5 files changed

Lines changed: 27 additions & 0 deletions

File tree

rules/ifaddrs/src.cpp

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
#include <sys/types.h>
2+
#include <ifaddrs.h>
3+
4+
int f1(struct ifaddrs **ifap) {
5+
return getifaddrs(ifap);
6+
}
7+
8+
void f2(struct ifaddrs *ifa) {
9+
return freeifaddrs(ifa);
10+
}

rules/ifaddrs/tgt_unsafe.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
unsafe fn f1(a0: *mut *mut libc::ifaddrs) -> i32 {
2+
libc::getifaddrs(a0)
3+
}
4+
5+
unsafe fn f2(a0: *mut libc::ifaddrs) {
6+
libc::freeifaddrs(a0)
7+
}

rules/socket/src.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,3 +65,7 @@ int f15(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags) {
6565
return accept4(sockfd, addr, addrlen, flags);
6666
}
6767
#endif
68+
69+
int f16(int sockfd, const struct sockaddr *addr, socklen_t addrlen) {
70+
return bind(sockfd, addr, addrlen);
71+
}

rules/socket/tgt_unsafe.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,3 +60,7 @@ unsafe fn f14(a0: i32, a1: *mut ::libc::sockaddr, a2: *mut u32) -> i32 {
6060
unsafe fn f15(a0: i32, a1: *mut ::libc::sockaddr, a2: *mut u32, a3: i32) -> i32 {
6161
libc::accept4(a0, a1, a2, a3)
6262
}
63+
64+
unsafe fn f16(a0: i32, a1: *const ::libc::sockaddr, a2: u32) -> i32 {
65+
libc::bind(a0, a1, a2)
66+
}

rules/src/modules.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,8 @@ pub mod errno_tgt_unsafe;
4242
pub mod fstream_tgt_refcount;
4343
#[path = r#"../fstream/tgt_unsafe.rs"#]
4444
pub mod fstream_tgt_unsafe;
45+
#[path = r#"../ifaddrs/tgt_unsafe.rs"#]
46+
pub mod ifaddrs_tgt_unsafe;
4547
#[path = r#"../initializer_list/tgt_unsafe.rs"#]
4648
pub mod initializer_list_tgt_unsafe;
4749
#[path = r#"../iomanip/tgt_unsafe.rs"#]

0 commit comments

Comments
 (0)