# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["Internal.IL", "EcmaMethodDebugInformation", False, "EcmaMethodDebugInformation", "(Internal.TypeSystem.Ecma.EcmaMethod)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["Internal.IL", "EcmaMethodIL", False, "Create", "(Internal.TypeSystem.Ecma.EcmaMethod)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "EcmaMethodIL", False, "get_Module", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "EcmaMethodILScope", False, "Create", "(Internal.TypeSystem.Ecma.EcmaMethod)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "EcmaMethodILScope", False, "get_Module", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "IEcmaMethodIL", True, "get_Module", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", False, "AppendNameForNamespaceTypeWithoutAliases", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Name].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", False, "AppendNameForNamespaceTypeWithoutAliases", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Namespace].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", False, "AppendNameWithValueClassPrefix", "(System.Text.StringBuilder,Internal.TypeSystem.TypeDesc)", "", "Argument[1]", "Argument[0]", "taint", "df-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", False, "ILTypeNameFormatter", "(Internal.TypeSystem.ModuleDesc)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.ArrayType)", "", "Argument[1].Property[Internal.TypeSystem.ArrayType.ElementType].Property[Internal.TypeSystem.GenericParameterDesc.Name]", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.ArrayType)", "", "Argument[1].Property[Internal.TypeSystem.ParameterizedType.ParameterType].Property[Internal.TypeSystem.GenericParameterDesc.Name]", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.ByRefType)", "", "Argument[1].Property[Internal.TypeSystem.ParameterizedType.ParameterType].Property[Internal.TypeSystem.GenericParameterDesc.Name]", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.GenericParameterDesc)", "", "Argument[1].Property[Internal.TypeSystem.GenericParameterDesc.Name]", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.PointerType)", "", "Argument[1].Property[Internal.TypeSystem.ParameterizedType.ParameterType].Property[Internal.TypeSystem.GenericParameterDesc.Name]", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForInstantiatedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Name].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForInstantiatedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Namespace].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForNamespaceType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Name].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForNamespaceType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Namespace].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForNestedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType,Internal.TypeSystem.DefType)", "", "Argument[1].Property[Internal.TypeSystem.DefType.Name].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForNestedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType,Internal.TypeSystem.DefType)", "", "Argument[2].Property[Internal.TypeSystem.DefType.Name].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", True, "AppendNameForNestedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType,Internal.TypeSystem.DefType)", "", "Argument[2].Property[Internal.TypeSystem.DefType.Namespace].Element", "Argument[0]", "taint", "dfc-generated"]
      - ["Internal.IL", "ILDisassembler", False, "AppendType", "(System.Text.StringBuilder,Internal.TypeSystem.TypeDesc,System.Boolean)", "", "Argument[1]", "Argument[0]", "taint", "df-generated"]
      - ["Internal.IL", "ILDisassembler", False, "ILDisassembler", "(Internal.IL.MethodIL)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["Internal.IL", "ILLocalVariable", False, "ILLocalVariable", "(System.Int32,System.String,System.Boolean)", "", "Argument[1]", "Argument[this].Field[Internal.IL.ILLocalVariable.Name]", "value", "dfc-generated"]
      - ["Internal.IL", "ILSequencePoint", False, "ILSequencePoint", "(System.Int32,System.String,System.Int32)", "", "Argument[1]", "Argument[this].Field[Internal.IL.ILSequencePoint.Document]", "value", "dfc-generated"]
      - ["Internal.IL", "InstantiatedMethodIL", False, "GetMethodILDefinition", "()", "", "Argument[this].SyntheticField[Internal.IL.InstantiatedMethodIL._methodIL]", "ReturnValue", "value", "dfc-generated"]
      - ["Internal.IL", "InstantiatedMethodIL", False, "InstantiatedMethodIL", "(Internal.TypeSystem.MethodDesc,Internal.IL.MethodIL)", "", "Argument[1]", "Argument[this].SyntheticField[Internal.IL.InstantiatedMethodIL._methodIL]", "value", "dfc-generated"]
      - ["Internal.IL", "MethodDebugInformation", True, "GetSequencePoints", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodIL", True, "GetDebugInfo", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodIL", True, "GetExceptionRegions", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodIL", True, "GetILBytes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodIL", True, "GetLocals", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodIL", True, "GetMethodILDefinition", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["Internal.IL", "MethodILScope", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodILScope", True, "GetMethodILScopeDefinition", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
      - ["Internal.IL", "MethodILScope", True, "GetObject", "(System.Int32,Internal.TypeSystem.NotFoundBehavior)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "MethodILScope", True, "get_OwningMethod", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["Internal.IL", "UnsafeAccessors", False, "TryGetIL", "(Internal.TypeSystem.Ecma.EcmaMethod)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["Internal.IL", "EcmaMethodDebugInformation", "GetLocalVariables", "()", "summary", "df-generated"]
      - ["Internal.IL", "EcmaMethodDebugInformation", "GetParameterNames", "()", "summary", "df-generated"]
      - ["Internal.IL", "EcmaMethodDebugInformation", "get_IsStateMachineMoveNextMethod", "()", "summary", "df-generated"]
      - ["Internal.IL", "EcmaMethodIL", "get_IsInitLocals", "()", "summary", "df-generated"]
      - ["Internal.IL", "EcmaMethodIL", "get_MaxStack", "()", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureMethodVariable)", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler+ILTypeNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureTypeVariable)", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler", "AppendOffset", "(System.Text.StringBuilder,System.Int32)", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler", "GetNextInstruction", "()", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler", "get_CodeSize", "()", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler", "get_HasNextInstruction", "()", "summary", "df-generated"]
      - ["Internal.IL", "ILDisassembler", "get_Offset", "()", "summary", "df-generated"]
      - ["Internal.IL", "ILExceptionRegion", "ILExceptionRegion", "(Internal.IL.ILExceptionRegionKind,System.Int32,System.Int32,System.Int32,System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["Internal.IL", "ILOpcodeHelper", "GetSize", "(Internal.IL.ILOpcode)", "summary", "df-generated"]
      - ["Internal.IL", "ILOpcodeHelper", "IsBranch", "(Internal.IL.ILOpcode)", "summary", "df-generated"]
      - ["Internal.IL", "ILOpcodeHelper", "IsUnconditionalBranch", "(Internal.IL.ILOpcode)", "summary", "df-generated"]
      - ["Internal.IL", "ILOpcodeHelper", "IsValid", "(Internal.IL.ILOpcode)", "summary", "df-generated"]
      - ["Internal.IL", "ILStackHelper", "CheckStackBalance", "(Internal.IL.MethodIL)", "summary", "df-generated"]
      - ["Internal.IL", "ILStackHelper", "ComputeMaxStack", "(Internal.IL.MethodIL)", "summary", "df-generated"]
      - ["Internal.IL", "ILTokenReplacer", "Replace", "(System.Byte[],System.Func<System.Int32,System.Int32>)", "summary", "df-generated"]
      - ["Internal.IL", "InstantiatedMethodIL", "get_IsInitLocals", "()", "summary", "df-generated"]
      - ["Internal.IL", "InstantiatedMethodIL", "get_MaxStack", "()", "summary", "df-generated"]
      - ["Internal.IL", "MethodDebugInformation", "GetLocalVariables", "()", "summary", "df-generated"]
      - ["Internal.IL", "MethodDebugInformation", "GetParameterNames", "()", "summary", "df-generated"]
      - ["Internal.IL", "MethodDebugInformation", "get_IsStateMachineMoveNextMethod", "()", "summary", "df-generated"]
      - ["Internal.IL", "MethodIL", "get_IsInitLocals", "()", "summary", "df-generated"]
      - ["Internal.IL", "MethodIL", "get_MaxStack", "()", "summary", "df-generated"]
