Skip to content

Commit 2d53660

Browse files
paldepindpaldepind
committed
Rust: Regenerate models
1 parent 54de606 commit 2d53660

File tree

13 files changed

+8491
-4954
lines changed

13 files changed

+8491
-4954
lines changed

‎rust/ql/lib/ext/generated/actix-web.model.yml‎

Lines changed: 532 additions & 497 deletions
Large diffs are not rendered by default.

‎rust/ql/lib/ext/generated/clap.model.yml‎

Lines changed: 493 additions & 160 deletions
Large diffs are not rendered by default.

‎rust/ql/lib/ext/generated/hyper.model.yml‎

Lines changed: 189 additions & 240 deletions
Large diffs are not rendered by default.

‎rust/ql/lib/ext/generated/libc.model.yml‎

Lines changed: 10 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,10 @@ extensions:
44
pack: codeql/rust-all
55
extensible: summaryModel
66
data:
7-
- ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
8-
- ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
9-
- ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
10-
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
11-
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
12-
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
13-
- ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
147
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
158
- ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
16-
- ["<libc::unix::linux_like::linux::iwreq_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
17-
- ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
18-
- ["<libc::unix::linux_like::linux::tpacket_req_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
19-
- ["<style::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
20-
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
21-
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
22-
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
9+
- ["<style::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Reference.Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
10+
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Reference.Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
2311
- ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2412
- ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2513
- ["libc::unix::linux_like::IPOPT_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -52,6 +40,8 @@ extensions:
5240
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
5341
- ["libc::unix::linux_like::linux::CMSG_NXTHDR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5442
- ["libc::unix::linux_like::linux::CPU_ALLOC_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
43+
- ["libc::unix::linux_like::linux::CPU_CLR", "Argument[0]", "Argument[1]", "taint", "df-generated"]
44+
- ["libc::unix::linux_like::linux::CPU_SET", "Argument[0]", "Argument[1]", "taint", "df-generated"]
5545
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
5646
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5747
- ["libc::unix::linux_like::linux::ELF32_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -71,6 +61,7 @@ extensions:
7161
- ["libc::unix::linux_like::linux::RT_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7262
- ["libc::unix::linux_like::linux::SCTP_PR_INDEX", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7363
- ["libc::unix::linux_like::linux::SCTP_PR_POLICY", "Argument[0]", "ReturnValue", "taint", "df-generated"]
64+
- ["libc::unix::linux_like::linux::SCTP_PR_SET_POLICY", "Argument[1]", "Argument[0]", "taint", "df-generated"]
7465
- ["libc::unix::linux_like::linux::TPACKET_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7566
- ["libc::unix::linux_like::linux::_IO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7667
- ["libc::unix::linux_like::linux::_IO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
@@ -80,12 +71,17 @@ extensions:
8071
- ["libc::unix::linux_like::linux::_IOW", "Argument[1]", "ReturnValue", "taint", "df-generated"]
8172
- ["libc::unix::linux_like::linux::_IOWR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8273
- ["libc::unix::linux_like::linux::_IOWR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
74+
- ["libc::unix::linux_like::linux::major", "Argument[0]", "ReturnValue", "taint", "df-generated"]
75+
- ["libc::unix::linux_like::linux::makedev", "Argument[1]", "ReturnValue", "taint", "df-generated"]
76+
- ["libc::unix::linux_like::linux::minor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8377
- addsTo:
8478
pack: codeql/rust-all
8579
extensible: sinkModel
8680
data:
8781
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
82+
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
8883
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
84+
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
8985
- addsTo:
9086
pack: codeql/rust-all
9187
extensible: sourceModel

0 commit comments

Comments
 (0)