Skip to content

Commit 366d2b1

Browse files
paldepindCopilot
paldepind
and
Copilot
committed
Rust: Regenerate MaD models
Regenerate source, sink, and summary models from DCA experiment paldepind/rust-regenerate-models-2026-11-05. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 786f0f17-6512-4098-8c92-7721e13b78b2
1 parent 96852da commit 366d2b1

13 files changed

Lines changed: 9462 additions & 10251 deletions

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

Lines changed: 385 additions & 227 deletions
Large diffs are not rendered by default.

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

Lines changed: 237 additions & 227 deletions
Large diffs are not rendered by default.

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

Lines changed: 97 additions & 66 deletions
Large diffs are not rendered by default.

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

Lines changed: 125 additions & 76 deletions
Large diffs are not rendered by default.

‎rust/ql/lib/ext/generated/modelgenerator/log.model.yml‎

Lines changed: 26 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -14,27 +14,29 @@ extensions:
1414
- ["<alloc::string::String as log::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
1515
- ["<alloc::string::String as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
1616
- ["<alloc::sync::Arc as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
17-
- ["<core::bool as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
18-
- ["<core::char as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
19-
- ["<core::f32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
20-
- ["<core::f64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
21-
- ["<core::i128 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
22-
- ["<core::i16 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
23-
- ["<core::i32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
24-
- ["<core::i64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
25-
- ["<core::i8 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
26-
- ["<core::isize as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
17+
- ["<core::bool as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
18+
- ["<core::char as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
19+
- ["<core::f32 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
20+
- ["<core::f64 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
21+
- ["<core::i128 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
22+
- ["<core::i16 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
23+
- ["<core::i32 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
24+
- ["<core::i64 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
25+
- ["<core::i8 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
26+
- ["<core::isize as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
2727
- ["<core::option::Option as log::kv::source::Source>::count", "Argument[self].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
2828
- ["<core::option::Option as log::kv::source::Source>::count", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
2929
- ["<core::option::Option as log::kv::source::Source>::get", "Argument[0]", "ReturnValue", "taint", "df-generated"]
30+
- ["<core::option::Option as log::kv::source::Source>::get", "Argument[self]", "Argument[0]", "taint", "df-generated"]
3031
- ["<core::str as log::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
31-
- ["<core::str as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
32-
- ["<core::u128 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
33-
- ["<core::u16 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
34-
- ["<core::u32 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
35-
- ["<core::u64 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
36-
- ["<core::u8 as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
37-
- ["<core::usize as log::kv::value::ToValue>::to_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
32+
- ["<core::str as log::kv::value::ToValue>::to_value", "Argument[self].Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
33+
- ["<core::str as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
34+
- ["<core::u128 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
35+
- ["<core::u16 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
36+
- ["<core::u32 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
37+
- ["<core::u64 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
38+
- ["<core::u8 as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
39+
- ["<core::usize as log::kv::value::ToValue>::to_value", "Argument[self].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
3840
- ["<log::KeyValues as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
3941
- ["<log::MaybeStaticStr as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
4042
- ["<log::Metadata as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -44,14 +46,18 @@ extensions:
4446
- ["<log::MetadataBuilder>::level", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
4547
- ["<log::MetadataBuilder>::target", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
4648
- ["<log::ParseLevelError as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
47-
- ["<log::Record as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
49+
- ["<log::Record as core::clone::Clone>::clone", "Argument[self].Field[log::Record::file]", "ReturnValue.Field[log::Record::file]", "value", "dfc-generated"]
50+
- ["<log::Record as core::clone::Clone>::clone", "Argument[self].Field[log::Record::line]", "ReturnValue.Field[log::Record::line]", "value", "dfc-generated"]
51+
- ["<log::Record as core::clone::Clone>::clone", "Argument[self].Field[log::Record::module_path]", "ReturnValue.Field[log::Record::module_path]", "value", "dfc-generated"]
4852
- ["<log::Record as core::fmt::Debug>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
4953
- ["<log::Record>::args", "Argument[self].Reference.Field[log::Record::args]", "ReturnValue.Reference", "value", "dfc-generated"]
54+
- ["<log::Record>::file", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5055
- ["<log::Record>::file_static", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5156
- ["<log::Record>::key_values", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5257
- ["<log::Record>::level", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5358
- ["<log::Record>::line", "Argument[self].Reference.Field[log::Record::line]", "ReturnValue", "value", "dfc-generated"]
5459
- ["<log::Record>::metadata", "Argument[self].Reference.Field[log::Record::metadata]", "ReturnValue.Reference", "value", "dfc-generated"]
60+
- ["<log::Record>::module_path", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5561
- ["<log::Record>::module_path_static", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5662
- ["<log::Record>::target", "Argument[self]", "ReturnValue", "taint", "df-generated"]
5763
- ["<log::Record>::to_builder", "Argument[self]", "ReturnValue", "taint", "df-generated"]
@@ -84,23 +90,7 @@ extensions:
8490
- ["<log::kv::key::Key>::from_str", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
8591
- ["<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"]
8692
- ["<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"]
93+
- ["<log::kv::value::Value as core::convert::From>::from", "Argument[0].Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
94+
- ["<log::kv::value::Value as core::convert::From>::from", "Argument[0].Reference.Element", "ReturnValue.Field[log::kv::value::Value::inner].Element", "taint", "dfc-generated"]
8795
- ["<log::kv::value::Value as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
8896
- ["<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"]
89-
- addsTo:
90-
pack: codeql/rust-all
91-
extensible: sinkModel
92-
data:
93-
- ["<alloc::collections::btree::map::BTreeMap as log::kv::source::Source>::get", "Argument[self]", "alloc-layout", "df-generated"]
94-
- ["<alloc::collections::btree::map::BTreeMap as log::kv::source::Source>::get", "Argument[self]", "log-injection", "df-generated"]
95-
- ["<log::Record>::file", "Argument[self]", "alloc-layout", "df-generated"]
96-
- ["<log::Record>::file", "Argument[self]", "log-injection", "df-generated"]
97-
- ["<log::Record>::module_path", "Argument[self]", "alloc-layout", "df-generated"]
98-
- ["<log::Record>::module_path", "Argument[self]", "log-injection", "df-generated"]
99-
- ["<log::RecordBuilder>::file", "Argument[0]", "alloc-layout", "df-generated"]
100-
- ["<log::RecordBuilder>::file", "Argument[0]", "log-injection", "df-generated"]
101-
- ["<log::RecordBuilder>::file_static", "Argument[0]", "alloc-layout", "df-generated"]
102-
- ["<log::RecordBuilder>::file_static", "Argument[0]", "log-injection", "df-generated"]
103-
- ["<log::RecordBuilder>::module_path", "Argument[0]", "alloc-layout", "df-generated"]
104-
- ["<log::RecordBuilder>::module_path", "Argument[0]", "log-injection", "df-generated"]
105-
- ["<log::RecordBuilder>::module_path_static", "Argument[0]", "alloc-layout", "df-generated"]
106-
- ["<log::RecordBuilder>::module_path_static", "Argument[0]", "log-injection", "df-generated"]

0 commit comments

Comments
 (0)