Skip to content

Commit 2f89473

Browse files
paldepindpaldepind
committed
Rust: Regenerate models
1 parent 2824c98 commit 2f89473

14 files changed

+11510
-5527
lines changed

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

Lines changed: 812 additions & 491 deletions
Large diffs are not rendered by default.

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

Lines changed: 758 additions & 158 deletions
Large diffs are not rendered by default.

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

Lines changed: 198 additions & 238 deletions
Large diffs are not rendered by default.

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

Lines changed: 16 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,12 @@ 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"]
8+
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
159
- ["<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"]
10+
- ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
11+
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self]", "taint", "df-generated"]
12+
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "Argument[self]", "taint", "df-generated"]
2313
- ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2414
- ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2515
- ["libc::unix::linux_like::IPOPT_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -52,6 +42,8 @@ extensions:
5242
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
5343
- ["libc::unix::linux_like::linux::CMSG_NXTHDR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5444
- ["libc::unix::linux_like::linux::CPU_ALLOC_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
45+
- ["libc::unix::linux_like::linux::CPU_CLR", "Argument[0]", "Argument[1]", "taint", "df-generated"]
46+
- ["libc::unix::linux_like::linux::CPU_SET", "Argument[0]", "Argument[1]", "taint", "df-generated"]
5547
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
5648
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5749
- ["libc::unix::linux_like::linux::ELF32_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -71,6 +63,7 @@ extensions:
7163
- ["libc::unix::linux_like::linux::RT_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7264
- ["libc::unix::linux_like::linux::SCTP_PR_INDEX", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7365
- ["libc::unix::linux_like::linux::SCTP_PR_POLICY", "Argument[0]", "ReturnValue", "taint", "df-generated"]
66+
- ["libc::unix::linux_like::linux::SCTP_PR_SET_POLICY", "Argument[1]", "Argument[0]", "taint", "df-generated"]
7467
- ["libc::unix::linux_like::linux::TPACKET_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7568
- ["libc::unix::linux_like::linux::_IO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7669
- ["libc::unix::linux_like::linux::_IO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
@@ -80,12 +73,21 @@ extensions:
8073
- ["libc::unix::linux_like::linux::_IOW", "Argument[1]", "ReturnValue", "taint", "df-generated"]
8174
- ["libc::unix::linux_like::linux::_IOWR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8275
- ["libc::unix::linux_like::linux::_IOWR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
76+
- ["libc::unix::linux_like::linux::major", "Argument[0]", "ReturnValue", "taint", "df-generated"]
77+
- ["libc::unix::linux_like::linux::makedev", "Argument[1]", "ReturnValue", "taint", "df-generated"]
78+
- ["libc::unix::linux_like::linux::minor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8379
- addsTo:
8480
pack: codeql/rust-all
8581
extensible: sinkModel
8682
data:
83+
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "alloc-layout", "df-generated"]
84+
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "alloc-size", "df-generated"]
8785
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
86+
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
87+
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "alloc-layout", "df-generated"]
88+
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "alloc-size", "df-generated"]
8889
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
90+
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
8991
- addsTo:
9092
pack: codeql/rust-all
9193
extensible: sourceModel

0 commit comments

Comments
 (0)