# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModel
    data:
      - ["<core::core_simd::vector::Simd as rand::distr::utils::FloatSIMDScalarUtils>::extract_lane", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<core::core_simd::vector::Simd as rand::distr::utils::FloatSIMDScalarUtils>::replace", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand::distr::bernoulli::Bernoulli>::from_ratio", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::bernoulli::Bernoulli>::from_ratio", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::bernoulli::Bernoulli>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::bernoulli::Bernoulli>::p", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::distribution::Map as rand::distr::distribution::Distribution>::sample", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::slice::Choose>::new", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[rand::distr::slice::Choose::slice]", "value", "dfc-generated"]
      - ["<rand::distr::slice::Choose>::num_choices", "Argument[self].Field[rand::distr::slice::Choose::num_choices]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand::distr::uniform::float::UniformFloat as rand::distr::uniform::UniformSampler>::sample", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::distr::uniform::other::UniformDuration as rand::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"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight].Reference", "ReturnValue", "value", "dfc-generated"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndex>::total_weight", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand::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"]
      - ["<rand::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"]
      - ["<rand::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"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndex>::weights", "Argument[self]", "ReturnValue.Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndexIter as core::clone::Clone>::clone", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndexIter::index]", "ReturnValue.Field[rand::distr::weighted::weighted_index::WeightedIndexIter::index]", "value", "dfc-generated"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndexIter as core::clone::Clone>::clone", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "ReturnValue.Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index]", "value", "dfc-generated"]
      - ["<rand::distr::weighted::weighted_index::WeightedIndexIter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[rand::distr::weighted::weighted_index::WeightedIndexIter::weighted_index].Field[rand::distr::weighted::weighted_index::WeightedIndex::total_weight]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["<rand::rngs::mock::StepRng as rand_core::RngCore>::next_u32", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::rngs::mock::StepRng as rand_core::RngCore>::next_u64", "Argument[self].Field[rand::rngs::mock::StepRng::v]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand::rngs::mock::StepRng>::new", "Argument[0]", "ReturnValue.Field[rand::rngs::mock::StepRng::v]", "value", "dfc-generated"]
      - ["<rand::rngs::mock::StepRng>::new", "Argument[1]", "ReturnValue.Field[rand::rngs::mock::StepRng::a]", "value", "dfc-generated"]
      - ["<rand::rngs::reseeding::ReseedingCore as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::rngs::reseeding::ReseedingRng as core::clone::Clone>::clone", "Argument[self].Field[0].Field[rand_core::block::BlockRng::core]", "ReturnValue.Field[rand::rngs::reseeding::ReseedingRng(0)].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand::rngs::reseeding::ReseedingRng as core::clone::Clone>::clone", "Argument[self].Field[rand::rngs::reseeding::ReseedingRng(0)].Field[rand_core::block::BlockRng::core]", "ReturnValue.Field[rand::rngs::reseeding::ReseedingRng(0)].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand::rngs::reseeding::ReseedingRng>::new", "Argument[1]", "ReturnValue.Field[rand::rngs::reseeding::ReseedingCore::reseeder]", "value", "dfc-generated"]
      - ["<rand::seq::coin_flipper::CoinFlipper>::new", "Argument[0]", "ReturnValue.Field[rand::seq::coin_flipper::CoinFlipper::rng]", "value", "dfc-generated"]
      - ["<rand::seq::increasing_uniform::IncreasingUniform>::new", "Argument[0]", "ReturnValue.Field[rand::seq::increasing_uniform::IncreasingUniform::rng]", "value", "dfc-generated"]
      - ["<rand::seq::increasing_uniform::IncreasingUniform>::new", "Argument[1]", "ReturnValue.Field[rand::seq::increasing_uniform::IncreasingUniform::n]", "value", "dfc-generated"]
      - ["<rand::seq::increasing_uniform::IncreasingUniform>::next_index", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::seq::index_::IndexVec as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand::seq::index_::IndexVec::U32(0)]", "value", "dfc-generated"]
      - ["<rand::seq::index_::IndexVec as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand::seq::index_::IndexVec::U64(0)]", "value", "dfc-generated"]
      - ["<rand::seq::index_::IndexVec>::index", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand::seq::iterator::test::ChunkHintedIterator as core::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"]
      - ["<rand::seq::iterator::test::ChunkHintedIterator as core::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"]
      - ["<rand::seq::iterator::test::ChunkHintedIterator as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[rand::seq::iterator::test::ChunkHintedIterator::chunk_remaining]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["<rand::seq::iterator::test::UnhintedIterator as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[rand::seq::iterator::test::UnhintedIterator::iter].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["<rand::seq::iterator::test::WindowHintedIterator as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[rand::seq::iterator::test::WindowHintedIterator::iter].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["<rand::seq::iterator::test::WindowHintedIterator as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[rand::seq::iterator::test::WindowHintedIterator::window_size]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["<rand::seq::slice::SliceChooseIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::Array64 as core::convert::AsMut>::as_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::Array64 as core::convert::AsMut>::as_mut", "Argument[self].Field[rand_chacha::chacha::Array64(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::Array64 as core::convert::AsRef>::as_ref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::Array64 as core::convert::AsRef>::as_ref", "Argument[self].Field[rand_chacha::chacha::Array64(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::ChaCha12Rng as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha12Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::ChaCha12Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha12Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha12Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha20Rng as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha20Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::ChaCha20Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha20Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha20Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha8Rng as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rand_chacha::chacha::ChaCha8Rng::rng].Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand_chacha::chacha::ChaCha8Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha8Rng>::get_word_pos", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::ChaCha8Rng>::set_word_pos", "Argument[0]", "Argument[self]", "taint", "df-generated"]
      - ["<rand_chacha::chacha::abstract12::ChaCha12Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::abstract20::ChaCha20Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_chacha::chacha::abstract8::ChaCha8Rng as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_core::UnwrapMut>::re", "Argument[self].Field[0]", "ReturnValue.Field[rand_core::UnwrapMut(0)]", "value", "dfc-generated"]
      - ["<rand_core::UnwrapMut>::re", "Argument[self].Field[rand_core::UnwrapMut(0)]", "ReturnValue.Field[rand_core::UnwrapMut(0)]", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng64 as rand_core::RngCore>::next_u32", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_core::block::BlockRng64>::generate_and_set", "Argument[0]", "Argument[self].Field[rand_core::block::BlockRng64::index]", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng64>::index", "Argument[self].Field[rand_core::block::BlockRng64::index]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng64>::new", "Argument[0]", "ReturnValue.Field[rand_core::block::BlockRng64::core]", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng>::generate_and_set", "Argument[0]", "Argument[self].Field[rand_core::block::BlockRng::index]", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng>::index", "Argument[self].Field[rand_core::block::BlockRng::index]", "ReturnValue", "value", "dfc-generated"]
      - ["<rand_core::block::BlockRng>::new", "Argument[0]", "ReturnValue.Field[rand_core::block::BlockRng::core]", "value", "dfc-generated"]
      - ["<rand_pcg::pcg128::Lcg128Xsl64>::new", "Argument[0]", "ReturnValue.Field[rand_pcg::pcg128::Lcg128Xsl64::state]", "value", "dfc-generated"]
      - ["<rand_pcg::pcg128::Mcg128Xsl64>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<rand_pcg::pcg128cm::Lcg128CmDxsm64>::new", "Argument[0]", "ReturnValue.Field[rand_pcg::pcg128cm::Lcg128CmDxsm64::state]", "value", "dfc-generated"]
      - ["<rand_pcg::pcg64::Lcg64Xsh32>::new", "Argument[0]", "ReturnValue.Field[rand_pcg::pcg64::Lcg64Xsh32::state]", "value", "dfc-generated"]
      - ["<seq_choose::UnhintedIterator as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[seq_choose::UnhintedIterator::iter].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["<seq_choose::WindowHintedIterator as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[seq_choose::WindowHintedIterator::iter].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
      - ["<seq_choose::WindowHintedIterator as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[seq_choose::WindowHintedIterator::window_size]", "ReturnValue.Field[0]", "value", "dfc-generated"]
      - ["rand::seq::index_::sample", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["rand_chacha::guts::diagonalize", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["rand_chacha::guts::round", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["rand_chacha::guts::undiagonalize", "Argument[0]", "ReturnValue", "value", "dfc-generated"]