# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "Clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "DefaultValueDictionary", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "DefaultValueDictionary", "(TValue)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "Get", "(TKey)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", False, "DictionaryLattice", "(TValueLattice)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", False, "Meet", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", False, "ForwardDataFlowAnalysis", "(TLattice,TValue)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", False, "ForwardDataFlowAnalysis", "(TLattice,TValue)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,System.Boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,System.Boolean)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", False, "ControlFlowBranch", "(TBlock,System.Nullable<TBlock>,System.Collections.Immutable.ImmutableArray<TRegion>,System.Boolean)", "", "Argument[2].Element", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", False, "Maybe", "(T)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", False, "MaybeLattice", "(TValueLattice)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerable", False, "Enumerable", "(System.Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerable", False, "GetEnumerator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "DeepCopy", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "GetKnownValues", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "ValueSet", "(TValue)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["ILLink.Shared.DataFlow", "Box<T>", "Box", "(T)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Equals", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "Set", "(TKey,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "get_Count", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "op_Equality", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DefaultValueDictionary<TKey,TValue>", "op_Inequality", "(ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>,ILLink.Shared.DataFlow.DefaultValueDictionary<TKey,TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "DictionaryLattice<TKey,TValue,TValueLattice>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "Fixpoint", "(TControlFlowGraph,TTransfer)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceBlockInput", "(TValue,System.Nullable<TValue>,System.Nullable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceBlockOutput", "(TValue,System.Nullable<TValue>,System.Nullable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceStart", "(TControlFlowGraph)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ForwardDataFlowAnalysis<TValue,TState,TLattice,TBlock,TRegion,TControlFlowGraph,TTransfer,TConditionValue>", "TraceVisitBlock", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IBlock<TBlock>", "get_ConditionKind", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "Equals", "(ILLink.Shared.DataFlow.IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>+ControlFlowBranch", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "FirstBlock", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetConditionalSuccessor", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetCorrespondingTry", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetFallThroughSuccessor", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetPredecessors", "(TBlock)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "GetPreviousFilters", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "HasFilter", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "LastBlock", "(TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingFinally", "(TBlock,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingTryOrCatchOrFilter", "(TBlock,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "TryGetEnclosingTryOrCatchOrFilter", "(TRegion,TRegion)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "get_Blocks", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IControlFlowGraph<TBlock,TRegion>", "get_Entry", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IDeepCopyValue<TSingleValue>", "DeepCopy", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ILattice<TValue>", "Meet", "(TValue,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ILattice<TValue>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "INegate<TValue>", "Negate", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "IRegion<TRegion>", "get_Kind", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ITransfer<TOperation,TValue,TState,TLattice,TConditionValue>", "ApplyCondition", "(TConditionValue,TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ITransfer<TOperation,TValue,TState,TLattice,TConditionValue>", "Transfer", "(TOperation,TState)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "DeepCopy", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "Equals", "(ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "op_Equality", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "Maybe<T>", "op_Inequality", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", "Meet", "(ILLink.Shared.DataFlow.Maybe<T>,ILLink.Shared.DataFlow.Maybe<T>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "MaybeLattice<T,TValueLattice>", "get_Top", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "DeepCopy", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "get_EqualityContract", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "op_Equality", "(ILLink.Shared.DataFlow.SingleValue,ILLink.Shared.DataFlow.SingleValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "SingleValue", "op_Inequality", "(ILLink.Shared.DataFlow.SingleValue,ILLink.Shared.DataFlow.SingleValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "Dispose", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>+Enumerator", "Reset", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Contains", "(TValue)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Equals", "(ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "GetHashCode", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "IsEmpty", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "IsUnknown", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "ValueSet", "(System.Collections.Generic.IEnumerable<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "get_HasMultipleValues", "()", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "op_Equality", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSet<TValue>", "op_Inequality", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "summary", "df-generated"]
      - ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", "get_Top", "()", "summary", "df-generated"]
