codeql/rust/ql/lib/ext/generated/once_cell.model.yml at 68cb0b9271dba108bf097f644a8b4e0f2d7eeb21 · paldepind/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/rust-all
      extensible: summaryModel
    data:
      - ["<once_cell::imp::OnceCell>::get_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::imp::OnceCell>::into_inner", "Argument[self].Field[once_cell::imp::OnceCell::value].Field[core::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["<once_cell::race::OnceNonZeroUsize>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::race::OnceNonZeroUsize>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["<once_cell::race::OnceRef>::get_or_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["<once_cell::race::OnceRef>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::race::once_box::OnceBox>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::race::once_box::OnceBox>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::sync::Lazy>::into_value", "Argument[0].Field[once_cell::sync::Lazy::init]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["<once_cell::sync::OnceCell>::set", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["<once_cell::sync::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)].Field[1]", "value", "dfc-generated"]
      - ["<once_cell::unsync::Lazy>::into_value", "Argument[0].Field[once_cell::unsync::Lazy::init]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["<once_cell::unsync::OnceCell>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["<once_cell::unsync::OnceCell>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["<once_cell::unsync::OnceCell>::into_inner", "Argument[self].Field[once_cell::unsync::OnceCell::inner].Field[core::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
      - ["<once_cell::unsync::OnceCell>::set", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
      - ["<once_cell::unsync::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)].Field[1]", "value", "dfc-generated"]