-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathlibc.model.yml
More file actions
134 lines (134 loc) · 14.8 KB
/
libc.model.yml
File metadata and controls
134 lines (134 loc) · 14.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/rust-all
extensible: summaryModel
data:
- ["<libc::unix::linux_like::epoll_event as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::af_alg_iv as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dirent as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::dirent64 as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::siginfo_t>::si_addr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::siginfo_t>::si_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::ucontext_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::b64::x86_64::user_fpregs_struct as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["<libc::unix::linux_like::linux::gnu::utmpx as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::hwtstamp_config as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ifconf as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::ifreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iw_event as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iwreq as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::iwreq_data as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::mq_attr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::pthread_barrier_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::pthread_cond_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::pthread_mutex_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::pthread_rwlock_t as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sched_attr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_alg as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::sockaddr_nl as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::tpacket_req_u as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_setup as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::linux::uinput_user_dev as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sigevent as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_storage as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::sockaddr_un as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<libc::unix::linux_like::utsname as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<style::style::FileError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<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"]
- ["<style_tests::style::FileError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<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"]
- ["libc::unix::linux_like::CMSG_FIRSTHDR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_COPIED", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPOPT_NUMBER", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::IPTOS_ECN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::KERNEL_VERSION", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::QCMD", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::QCMD", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WEXITSTATUS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WSTOPSIG", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::WTERMSIG", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_EXITCODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_EXITCODE", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::W_STOPCODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_CLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[0]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::code]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[2]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::jt]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_JUMP", "Argument[3]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::jf]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_MISCOP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_MODE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_OP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_RVAL", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_SRC", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[0]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::code]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::BPF_STMT", "Argument[1]", "ReturnValue.Field[libc::unix::linux_like::linux::sock_filter::k]", "value", "dfc-generated"]
- ["libc::unix::linux_like::linux::CMSG_NXTHDR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::CPU_ALLOC_SIZE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::CPU_CLR", "Argument[0]", "Argument[1]", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::CPU_SET", "Argument[0]", "Argument[1]", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF32_R_TYPE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_INFO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_INFO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_SYM", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::ELF64_R_TYPE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::FUTEX_OP", "Argument[3]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::IPTOS_PREC", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::IPTOS_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::NLA_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::RT_ADDRCLASS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::RT_TOS", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::SCTP_PR_INDEX", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::SCTP_PR_POLICY", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::SCTP_PR_SET_POLICY", "Argument[1]", "Argument[0]", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::TPACKET_ALIGN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IO", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IO", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOW", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOW", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOWR", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::_IOWR", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::major", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::makedev", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["libc::unix::linux_like::linux::minor", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sinkModel
data:
- ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sourceModel
data:
- ["<style::style::StyleChecker>::check_file", "ReturnValue", "file", "df-generated"]
- ["<style::style::StyleChecker>::finalize", "ReturnValue", "file", "df-generated"]
- ["<style_tests::style::StyleChecker>::check_file", "ReturnValue", "file", "df-generated"]
- ["<style_tests::style::StyleChecker>::finalize", "ReturnValue", "file", "df-generated"]