# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModel
    data:
      - ["repo:https://github.com/rust-random/rand:rand", "<&_ as crate::distr::uniform::SampleBorrow>::borrow", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<_ as crate::distr::uniform::SampleBorrow>::borrow", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<bool as crate::distr::utils::BoolAsSIMD>::any", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::core_simd::vector::Simd as crate::distr::utils::FloatSIMDScalarUtils>::replace", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::bernoulli::Bernoulli>::from_ratio", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::bernoulli::Bernoulli>::from_ratio", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::bernoulli::Bernoulli>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::bernoulli::Bernoulli>::p", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::distribution::Map as crate::distr::distribution::Distribution>::sample", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::slice::Choose>::new", "Argument[0]", "ReturnValue.Field[crate::result::Result::Ok(0)].Field[crate::distr::slice::Choose::slice]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::slice::Choose>::num_choices", "Argument[self].Field[crate::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::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[crate::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[crate::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[crate::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "Argument[self].Field[crate::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[crate::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue.Field[crate::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[crate::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue.Field[crate::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[crate::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndexIter as crate::clone::Clone>::clone", "Argument[self].Field[crate::distr::weighted::weighted_index::WeightedIndexIter::index]", "ReturnValue.Field[crate::distr::weighted::weighted_index::WeightedIndexIter::index]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::distr::weighted::weighted_index::WeightedIndexIter as crate::clone::Clone>::clone", "Argument[self].Field[crate::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "ReturnValue.Field[crate::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::mock::StepRng as crate::RngCore>::next_u32", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::mock::StepRng as crate::RngCore>::next_u64", "Argument[self].Field[crate::rngs::mock::StepRng::v]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::mock::StepRng>::new", "Argument[0]", "ReturnValue.Field[crate::rngs::mock::StepRng::v]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::mock::StepRng>::new", "Argument[1]", "ReturnValue.Field[crate::rngs::mock::StepRng::a]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::reseeding::ReseedingCore as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::rngs::reseeding::ReseedingRng>::new", "Argument[1]", "ReturnValue.Field[crate::rngs::reseeding::ReseedingCore::reseeder]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::coin_flipper::CoinFlipper>::new", "Argument[0]", "ReturnValue.Field[crate::seq::coin_flipper::CoinFlipper::rng]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::increasing_uniform::IncreasingUniform>::new", "Argument[0]", "ReturnValue.Field[crate::seq::increasing_uniform::IncreasingUniform::rng]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::increasing_uniform::IncreasingUniform>::new", "Argument[1]", "ReturnValue.Field[crate::seq::increasing_uniform::IncreasingUniform::n]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::increasing_uniform::IncreasingUniform>::next_index", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::index_::IndexVec as crate::convert::From>::from", "Argument[0]", "ReturnValue.Field[crate::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[crate::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_::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[crate::seq::iterator::test::ChunkHintedIterator::chunk_size]", "Argument[self].Field[crate::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[crate::seq::iterator::test::ChunkHintedIterator::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::ChunkHintedIterator as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::seq::iterator::test::ChunkHintedIterator::chunk_remaining]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::UnhintedIterator as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::seq::iterator::test::UnhintedIterator::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::WindowHintedIterator as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::seq::iterator::test::WindowHintedIterator::iter].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::iterator::test::WindowHintedIterator as crate::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[crate::seq::iterator::test::WindowHintedIterator::window_size]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<crate::seq::slice::SliceChooseIter as crate::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f32 as crate::distr::utils::FloatSIMDScalarUtils>::extract_lane", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f32 as crate::distr::utils::FloatSIMDScalarUtils>::replace", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f32 as crate::distr::utils::FloatSIMDUtils>::cast_from_int", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f64 as crate::distr::utils::FloatSIMDScalarUtils>::extract_lane", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f64 as crate::distr::utils::FloatSIMDScalarUtils>::replace", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<f64 as crate::distr::utils::FloatSIMDUtils>::cast_from_int", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u16 as crate::distr::utils::WideningMultiply>::wmul", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u16 as crate::distr::utils::WideningMultiply>::wmul", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u32 as crate::distr::utils::WideningMultiply>::wmul", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u32 as crate::distr::utils::WideningMultiply>::wmul", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u32 as crate::seq::index_::UInt>::as_usize", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u64 as crate::distr::utils::WideningMultiply>::wmul", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["repo:https://github.com/rust-random/rand:rand", "<u64 as crate::distr::utils::WideningMultiply>::wmul", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["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"]