-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathlog.model.yml
More file actions
106 lines (106 loc) · 11.7 KB
/
log.model.yml
File metadata and controls
106 lines (106 loc) · 11.7 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
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/rust-all
extensible: summaryModel
data:
- ["<& as log::__private_api::sealed::KVs>::into_kvs", "Argument[self]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<& as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<alloc::borrow::Cow as log::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<alloc::borrow::Cow as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<alloc::boxed::Box as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<alloc::collections::btree::map::BTreeMap as log::kv::source::Source>::count", "Argument[self].Reference.Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue", "value", "dfc-generated"]
- ["<alloc::rc::Rc as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<alloc::string::String as log::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<alloc::string::String as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<alloc::sync::Arc as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<core::bool as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::char as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::f32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::f64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i128 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i16 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::i8 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::isize as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::option::Option as log::kv::source::Source>::count", "Argument[self].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<core::option::Option as log::kv::source::Source>::count", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<core::option::Option as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<core::str as log::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<core::str as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u128 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u16 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::u8 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<core::usize as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::KeyValues as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::MaybeStaticStr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::Metadata as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::Metadata>::level", "Argument[self].Reference.Field[log::Metadata::level]", "ReturnValue", "value", "dfc-generated"]
- ["<log::Metadata>::target", "Argument[self].Reference.Field[log::Metadata::target]", "ReturnValue", "value", "dfc-generated"]
- ["<log::MetadataBuilder as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::MetadataBuilder>::level", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::MetadataBuilder>::target", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::ParseLevelError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::args", "Argument[self].Reference.Field[log::Record::args]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<log::Record>::file_static", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::key_values", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::level", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::line", "Argument[self].Reference.Field[log::Record::line]", "ReturnValue", "value", "dfc-generated"]
- ["<log::Record>::metadata", "Argument[self].Reference.Field[log::Record::metadata]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["<log::Record>::module_path_static", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::target", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::Record>::to_builder", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::RecordBuilder as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::RecordBuilder>::args", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::build", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["<log::RecordBuilder>::file", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::file_static", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::key_values", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::level", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::line", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::metadata", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::module_path", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::module_path_static", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::RecordBuilder>::target", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["<log::SetLoggerError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::error::Error as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::error::Error as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::error::Error>::boxed", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::error::Error>::from_value", "Argument[0]", "ReturnValue.Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Value(0)]", "value", "dfc-generated"]
- ["<log::kv::error::Error>::into_value", "Argument[self].Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Value(0)]", "ReturnValue", "value", "dfc-generated"]
- ["<log::kv::error::Error>::msg", "Argument[0]", "ReturnValue.Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Msg(0)]", "value", "dfc-generated"]
- ["<log::kv::error::Inner as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::key::Key as core::borrow::Borrow>::borrow", "Argument[self].Reference.Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
- ["<log::kv::key::Key as core::convert::AsRef>::as_ref", "Argument[self].Reference.Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
- ["<log::kv::key::Key as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<log::kv::key::Key as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::key::Key as log::kv::key::ToKey>::to_key", "Argument[self].Reference.Field[log::kv::key::Key::key]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<log::kv::key::Key>::as_str", "Argument[self].Reference.Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
- ["<log::kv::key::Key>::from_str", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
- ["<log::kv::key::Key>::to_borrowed_str", "Argument[self].Reference.Field[log::kv::key::Key::key]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
- ["<log::kv::value::Value as core::clone::Clone>::clone", "Argument[self].Field[log::kv::value::Value::inner]", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
- ["<log::kv::value::Value as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["<log::kv::value::Value as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Field[log::kv::value::Value::inner]", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
- addsTo:
pack: codeql/rust-all
extensible: sinkModel
data:
- ["<alloc::collections::btree::map::BTreeMap as log::kv::source::Source>::get", "Argument[self]", "alloc-layout", "df-generated"]
- ["<alloc::collections::btree::map::BTreeMap as log::kv::source::Source>::get", "Argument[self]", "log-injection", "df-generated"]
- ["<log::Record>::file", "Argument[self]", "alloc-layout", "df-generated"]
- ["<log::Record>::file", "Argument[self]", "log-injection", "df-generated"]
- ["<log::Record>::module_path", "Argument[self]", "alloc-layout", "df-generated"]
- ["<log::Record>::module_path", "Argument[self]", "log-injection", "df-generated"]
- ["<log::RecordBuilder>::file", "Argument[0]", "alloc-layout", "df-generated"]
- ["<log::RecordBuilder>::file", "Argument[0]", "log-injection", "df-generated"]
- ["<log::RecordBuilder>::file_static", "Argument[0]", "alloc-layout", "df-generated"]
- ["<log::RecordBuilder>::file_static", "Argument[0]", "log-injection", "df-generated"]
- ["<log::RecordBuilder>::module_path", "Argument[0]", "alloc-layout", "df-generated"]
- ["<log::RecordBuilder>::module_path", "Argument[0]", "log-injection", "df-generated"]
- ["<log::RecordBuilder>::module_path_static", "Argument[0]", "alloc-layout", "df-generated"]
- ["<log::RecordBuilder>::module_path_static", "Argument[0]", "log-injection", "df-generated"]