Merge pull request #19748 from github/redsun82/rust-models

Rust: regenerate models

Author: redsun82

rust/ql/lib/ext/generated/hyper/repo-https-github.com-hyperium-hyper-hyper.model.yml

@@ -4,7 +4,8 @@ extensions:
       pack: codeql/rust-all
       extensible: summaryModel
     data:
-      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::style::StyleChecker>::check_file", "Argument[0]", "Argument[self]", "taint", "df-generated"]
+      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::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"]
+      - ["repo:https://github.com/rust-lang/libc:libc-test", "<crate::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"]
   - addsTo:
       pack: codeql/rust-all
       extensible: sinkModel

rust/ql/lib/ext/generated/libc/repo-https-github.com-rust-lang-libc-libc-test.model.yml

@@ -4,6 +4,8 @@ extensions:
       pack: codeql/rust-all
       extensible: summaryModel
     data:
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::Level as crate::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::LevelFilter as crate::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Metadata>::level", "Argument[self].Field[log::Metadata::level]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Metadata>::target", "Argument[self].Field[log::Metadata::target]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::MetadataBuilder>::build", "Argument[self].Field[log::MetadataBuilder::metadata].Reference", "ReturnValue", "value", "dfc-generated"]
@@ -14,11 +16,13 @@ extensions:
       - ["repo:https://github.com/rust-lang/log:log", "<crate::MetadataBuilder>::target", "Argument[0]", "ReturnValue.Field[log::MetadataBuilder::metadata].Field[log::Metadata::target]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::MetadataBuilder>::target", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::args", "Argument[self].Field[log::Record::args]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::file", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::key_values", "Argument[self].Field[log::Record::key_values].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::key_values", "Argument[self].Field[log::Record::key_values].Field[log::KeyValues(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::level", "Argument[self].Field[log::Record::metadata].Field[log::Metadata::level]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::line", "Argument[self].Field[log::Record::line]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::metadata", "Argument[self].Field[log::Record::metadata]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::module_path", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::target", "Argument[self].Field[log::Record::metadata].Field[log::Metadata::target]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::to_builder", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::args", "Argument[0]", "Argument[self].Field[log::RecordBuilder::record].Field[log::Record::args]", "value", "dfc-generated"]
@@ -39,16 +43,31 @@ extensions:
       - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::module_path_static", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::target", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::borrow::Cow as crate::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::collections::btree::map::BTreeMap as crate::kv::source::Source>::count", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::collections::btree::map::BTreeMap as crate::kv::source::Source>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::error::Error as crate::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::error::Error>::from_value", "Argument[0]", "ReturnValue.Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Value(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::error::Error>::into_value", "Argument[self].Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Value(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::error::Error>::msg", "Argument[0]", "ReturnValue.Field[log::kv::error::Error::inner].Field[log::kv::error::Inner::Msg(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key as crate::borrow::Borrow>::borrow", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key as crate::convert::AsRef>::as_ref", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key as crate::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key as crate::kv::key::ToKey>::to_key", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key>::as_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key>::from_str", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::key::Key>::to_borrowed_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::kv::value::Value as crate::kv::value::ToValue>::to_value", "Argument[self].Field[log::kv::value::Value::inner].Reference", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<crate::string::String as crate::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-lang/log:log", "<str as crate::kv::key::ToKey>::to_key", "Argument[self]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: sinkModel
+    data:
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::file", "Argument[self]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::Record>::module_path", "Argument[self]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::file", "Argument[0]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::file_static", "Argument[0]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::module_path", "Argument[0]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::RecordBuilder>::module_path_static", "Argument[0]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rust-lang/log:log", "<crate::collections::btree::map::BTreeMap as crate::kv::source::Source>::get", "Argument[self]", "pointer-access", "df-generated"]

rust/ql/lib/ext/generated/log/repo-https-github.com-rust-lang-log-log.model.yml

@@ -20,6 +20,7 @@ extensions:
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::update_weights", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "value", "dfc-generated"]
+      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::cumulative_weights].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndex>::weights", "Argument[self]", "ReturnValue.Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]

rust/ql/lib/ext/generated/rand/repo-https-github.com-rust-random-rand-rand.model.yml

@@ -642,6 +642,7 @@ extensions:
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::fairing::fairings::Fairings>::append", "Argument[self]", "log-injection", "df-generated"]
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::form::error::Error as crate::ext::IntoOwned>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::form::error::ErrorKind as crate::convert::From>::from", "Argument[0]", "pointer-access", "df-generated"]
+      - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::log::RocketLogger as crate::Log>::log", "Argument[0]", "pointer-access", "df-generated"]
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::outcome::Outcome>::expect", "Argument[0]", "log-injection", "df-generated"]
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::request::request::Request>::client_ip", "Argument[self]", "pointer-access", "df-generated"]
       - ["repo:https://github.com/rwf2/Rocket:rocket", "<crate::response::stream::raw_sse::RawLinedEvent as crate::io::async_read::AsyncRead>::poll_read", "Argument[1]", "log-injection", "df-generated"]