Skip to content

Commit da43e8c

Browse files
paldepindpaldepind
committed
Rust: Regenerate models
1 parent d784912 commit da43e8c

23 files changed

+9723
-5038
lines changed

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

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

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

Lines changed: 577 additions & 163 deletions
Large diffs are not rendered by default.

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

Lines changed: 273 additions & 239 deletions
Large diffs are not rendered by default.

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

Lines changed: 52 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -4,22 +4,52 @@ 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"]
7+
- ["<libc::unix::linux_like::epoll_event as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8+
- ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
9+
- ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
10+
- ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
11+
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
12+
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
13+
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
14+
- ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
15+
- ["<libc::unix::linux_like::linux::af_alg_iv as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
16+
- ["<libc::unix::linux_like::linux::dirent as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
17+
- ["<libc::unix::linux_like::linux::dirent64 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
1418
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
19+
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
20+
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::siginfo_t>::si_addr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
21+
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::siginfo_t>::si_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
22+
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::ucontext_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
23+
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::user_fpregs_struct as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
1524
- ["<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"]
25+
- ["<libc::unix::linux_like::linux::gnu::utmpx as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
26+
- ["<libc::unix::linux_like::linux::hwtstamp_config as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
27+
- ["<libc::unix::linux_like::linux::ifconf as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
28+
- ["<libc::unix::linux_like::linux::ifreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
29+
- ["<libc::unix::linux_like::linux::iw_event as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
30+
- ["<libc::unix::linux_like::linux::iwreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
31+
- ["<libc::unix::linux_like::linux::iwreq_data as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
32+
- ["<libc::unix::linux_like::linux::mq_attr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
33+
- ["<libc::unix::linux_like::linux::pthread_barrier_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
34+
- ["<libc::unix::linux_like::linux::pthread_cond_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
35+
- ["<libc::unix::linux_like::linux::pthread_mutex_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
36+
- ["<libc::unix::linux_like::linux::pthread_rwlock_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
37+
- ["<libc::unix::linux_like::linux::sched_attr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
38+
- ["<libc::unix::linux_like::linux::sockaddr_alg as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
39+
- ["<libc::unix::linux_like::linux::sockaddr_nl as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
40+
- ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
41+
- ["<libc::unix::linux_like::linux::tpacket_req_u as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
42+
- ["<libc::unix::linux_like::linux::uinput_setup as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
43+
- ["<libc::unix::linux_like::linux::uinput_user_dev as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
44+
- ["<libc::unix::linux_like::sigevent as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
45+
- ["<libc::unix::linux_like::sockaddr_storage as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
46+
- ["<libc::unix::linux_like::sockaddr_un as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
47+
- ["<libc::unix::linux_like::utsname as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
48+
- ["<style::style::FileError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
49+
- ["<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"]
50+
- ["<style_tests::style::FileError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
51+
- ["<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"]
52+
- ["libc::unix::linux_like::CMSG_FIRSTHDR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2353
- ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2454
- ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
2555
- ["libc::unix::linux_like::IPOPT_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -52,6 +82,8 @@ extensions:
5282
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
5383
- ["libc::unix::linux_like::linux::CMSG_NXTHDR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5484
- ["libc::unix::linux_like::linux::CPU_ALLOC_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
85+
- ["libc::unix::linux_like::linux::CPU_CLR", "Argument[0]", "Argument[1]", "taint", "df-generated"]
86+
- ["libc::unix::linux_like::linux::CPU_SET", "Argument[0]", "Argument[1]", "taint", "df-generated"]
5587
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
5688
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
5789
- ["libc::unix::linux_like::linux::ELF32_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -71,6 +103,7 @@ extensions:
71103
- ["libc::unix::linux_like::linux::RT_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
72104
- ["libc::unix::linux_like::linux::SCTP_PR_INDEX", "Argument[0]", "ReturnValue", "taint", "df-generated"]
73105
- ["libc::unix::linux_like::linux::SCTP_PR_POLICY", "Argument[0]", "ReturnValue", "taint", "df-generated"]
106+
- ["libc::unix::linux_like::linux::SCTP_PR_SET_POLICY", "Argument[1]", "Argument[0]", "taint", "df-generated"]
74107
- ["libc::unix::linux_like::linux::TPACKET_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
75108
- ["libc::unix::linux_like::linux::_IO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
76109
- ["libc::unix::linux_like::linux::_IO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
@@ -80,12 +113,17 @@ extensions:
80113
- ["libc::unix::linux_like::linux::_IOW", "Argument[1]", "ReturnValue", "taint", "df-generated"]
81114
- ["libc::unix::linux_like::linux::_IOWR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
82115
- ["libc::unix::linux_like::linux::_IOWR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
116+
- ["libc::unix::linux_like::linux::major", "Argument[0]", "ReturnValue", "taint", "df-generated"]
117+
- ["libc::unix::linux_like::linux::makedev", "Argument[1]", "ReturnValue", "taint", "df-generated"]
118+
- ["libc::unix::linux_like::linux::minor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
83119
- addsTo:
84120
pack: codeql/rust-all
85121
extensible: sinkModel
86122
data:
87123
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
124+
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
88125
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
126+
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
89127
- addsTo:
90128
pack: codeql/rust-all
91129
extensible: sourceModel

0 commit comments

Comments
 (0)