hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into redsun82/rust-mad

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-06-11 16:39:10 +02:00
parent 5f474a7185 fbcd9eaf09
commit 051704e59d
1104 changed files with 33004 additions and 12030 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -16,6 +16,7 @@ extensions:
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::slice::Choose>::new", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[rand::distr::slice::Choose::slice]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::slice::Choose>::num_choices", "Argument[self].Field[rand::distr::slice::Choose::num_choices]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::uniform::float::UniformFloat as crate::distr::uniform::UniformSampler>::sample", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::uniform::other::UniformDuration as crate::distr::uniform::UniformSampler>::sample", "Argument[self].Field[rand::distr::uniform::other::UniformDuration::mode].Field[rand::distr::uniform::other::UniformDurationMode::Small::secs]", "ReturnValue.Field[core::time::Duration::secs]", "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].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"]
@@ -40,6 +41,8 @@ extensions:
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand::seq::index_::IndexVec::U32(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand::seq::index_::IndexVec::U64(0)]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec>::index", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec>::len", "Argument[self].Field[rand::seq::index_::IndexVec::U32(0)].Field[alloc::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec>::len", "Argument[self].Field[rand::seq::index_::IndexVec::U64(0)].Field[alloc::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVecIter as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::ChunkHintedIterator as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[rand::seq::iterator::test::ChunkHintedIterator::chunk_size]", "Argument[self].Field[rand::seq::iterator::test::ChunkHintedIterator::chunk_remaining]", "value", "dfc-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::ChunkHintedIterator as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[rand::seq::iterator::test::ChunkHintedIterator::iter].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
@@ -64,3 +67,4 @@ extensions:
- ["repo:https://github.com/rust-random/rand:rand", "<u64 as crate::seq::index_::UInt>::as_usize", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<u8 as crate::distr::utils::WideningMultiply>::wmul", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "<u8 as crate::distr::utils::WideningMultiply>::wmul", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["repo:https://github.com/rust-random/rand:rand", "crate::seq::index_::sample", "Argument[2]", "ReturnValue", "taint", "df-generated"]