Skip to content

Commit 6ba0084

Browse files
michaelnebelmichaelnebel
committed
C#: Update .NET8 Runtime models to include generated models for higher order methods.
1 parent 0b53831 commit 6ba0084

File tree

115 files changed

+1845
-228
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

115 files changed

+1845
-228
lines changed

‎csharp/ql/lib/ext/generated/Internal.IL.model.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@ extensions:
5454
- ["Internal.IL", "ILOpcodeHelper", "IsValid", "(Internal.IL.ILOpcode)", "summary", "df-generated"]
5555
- ["Internal.IL", "ILStackHelper", "CheckStackBalance", "(Internal.IL.MethodIL)", "summary", "df-generated"]
5656
- ["Internal.IL", "ILStackHelper", "ComputeMaxStack", "(Internal.IL.MethodIL)", "summary", "df-generated"]
57+
- ["Internal.IL", "ILTokenReplacer", "Replace", "(System.Byte[],System.Func<System.Int32,System.Int32>)", "summary", "df-generated"]
5758
- ["Internal.IL", "InstantiatedMethodIL", "get_IsInitLocals", "()", "summary", "df-generated"]
5859
- ["Internal.IL", "InstantiatedMethodIL", "get_MaxStack", "()", "summary", "df-generated"]
5960
- ["Internal.IL", "MethodDebugInformation", "GetLocalVariables", "()", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/Internal.TypeSystem.Ecma.model.yml‎

Lines changed: 11 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -31,13 +31,16 @@ extensions:
3131
- ["Internal.TypeSystem.Ecma", "EcmaSignatureEncoder<TEntityHandleProvider>", False, "EcmaSignatureEncoder", "(TEntityHandleProvider)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
3232
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "EcmaSignatureParser", "(Internal.TypeSystem.Ecma.EcmaModule,System.Reflection.Metadata.BlobReader,Internal.TypeSystem.NotFoundBehavior)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
3333
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "EcmaSignatureParser", "(Internal.TypeSystem.Ecma.EcmaModule,System.Reflection.Metadata.BlobReader,Internal.TypeSystem.NotFoundBehavior)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
34-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseFieldSignature", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
35-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseFieldSignature", "(Internal.TypeSystem.EmbeddedSignatureData[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
36-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseLocalsSignature", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
37-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseMethodSignature", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
38-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseMethodSpecSignature", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
39-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParsePropertySignature", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
40-
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
34+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "EcmaSignatureParser", "(Internal.TypeSystem.TypeSystemContext,System.Func<System.Reflection.Metadata.EntityHandle,Internal.TypeSystem.NotFoundBehavior,Internal.TypeSystem.TypeDesc>,System.Reflection.Metadata.BlobReader,Internal.TypeSystem.NotFoundBehavior)", "", "Argument[1]", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver]", "value", "dfc-generated"]
35+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseFieldSignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue", "value", "dfc-generated"]
36+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseFieldSignature", "(Internal.TypeSystem.EmbeddedSignatureData[])", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue", "value", "dfc-generated"]
37+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseLocalsSignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.Element.Field[Internal.TypeSystem.LocalVariableDefinition.Type]", "value", "dfc-generated"]
38+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseMethodSignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.SyntheticField[Internal.TypeSystem.MethodSignature._parameters].Element", "value", "dfc-generated"]
39+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseMethodSignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.SyntheticField[Internal.TypeSystem.MethodSignature._returnType]", "value", "dfc-generated"]
40+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseMethodSpecSignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.Element", "value", "dfc-generated"]
41+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParsePropertySignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.Field[Internal.TypeSystem.PropertySignature.ReturnType]", "value", "dfc-generated"]
42+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParsePropertySignature", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue.SyntheticField[Internal.TypeSystem.PropertySignature._parameters].Element", "value", "dfc-generated"]
43+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "ParseType", "()", "", "Argument[this].SyntheticField[Internal.TypeSystem.Ecma.EcmaSignatureParser._typeResolver].ReturnValue", "ReturnValue", "value", "dfc-generated"]
4144
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", False, "get_ResolutionFailure", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
4245
- ["Internal.TypeSystem.Ecma", "EcmaType", False, "GetDefaultConstructor", "()", "", "Argument[this]", "ReturnValue.SyntheticField[Internal.TypeSystem.Ecma.EcmaMethod._type]", "value", "dfc-generated"]
4346
- ["Internal.TypeSystem.Ecma", "EcmaType", False, "GetField", "(System.String)", "", "Argument[this]", "ReturnValue.SyntheticField[Internal.TypeSystem.Ecma.EcmaField._type]", "value", "dfc-generated"]
@@ -132,6 +135,7 @@ extensions:
132135
- ["Internal.TypeSystem.Ecma", "EcmaSignatureEncoder<TEntityHandleProvider>", "EncodeTypeSignature", "(System.Reflection.Metadata.Ecma335.SignatureTypeEncoder,Internal.TypeSystem.TypeDesc)", "summary", "df-generated"]
133136
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", "ParseMarshalAsDescriptor", "()", "summary", "df-generated"]
134137
- ["Internal.TypeSystem.Ecma", "EcmaSignatureParser", "get_IsFieldSignature", "()", "summary", "df-generated"]
138+
- ["Internal.TypeSystem.Ecma", "EcmaSignatureTranslator", "EcmaSignatureTranslator", "(System.Reflection.Metadata.BlobReader,System.Reflection.Metadata.BlobBuilder,System.Func<System.Int32,System.Int32>)", "summary", "df-generated"]
135139
- ["Internal.TypeSystem.Ecma", "EcmaSignatureTranslator", "ParseFieldSignature", "()", "summary", "df-generated"]
136140
- ["Internal.TypeSystem.Ecma", "EcmaSignatureTranslator", "ParseLocalsSignature", "()", "summary", "df-generated"]
137141
- ["Internal.TypeSystem.Ecma", "EcmaSignatureTranslator", "ParseMemberRefSignature", "()", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/Internal.TypeSystem.model.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -332,6 +332,7 @@ extensions:
332332
- ["Internal.TypeSystem", "CustomAttributeTypeNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureMethodVariable,System.Boolean)", "summary", "df-generated"]
333333
- ["Internal.TypeSystem", "CustomAttributeTypeNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureTypeVariable,System.Boolean)", "summary", "df-generated"]
334334
- ["Internal.TypeSystem", "CustomAttributeTypeNameFormatter", "AppendNameForInstantiatedType", "(System.Text.StringBuilder,Internal.TypeSystem.DefType,System.Boolean)", "summary", "df-generated"]
335+
- ["Internal.TypeSystem", "CustomAttributeTypeNameParser", "GetTypeByCustomAttributeTypeName", "(Internal.TypeSystem.ModuleDesc,System.String,System.Boolean,System.Func<Internal.TypeSystem.ModuleDesc,System.String,Internal.TypeSystem.MetadataType>)", "summary", "df-generated"]
335336
- ["Internal.TypeSystem", "DebugNameFormatter+Void", "get_Value", "()", "summary", "df-generated"]
336337
- ["Internal.TypeSystem", "DebugNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureMethodVariable,Internal.TypeSystem.DebugNameFormatter+FormatOptions)", "summary", "df-generated"]
337338
- ["Internal.TypeSystem", "DebugNameFormatter", "AppendName", "(System.Text.StringBuilder,Internal.TypeSystem.SignatureTypeVariable,Internal.TypeSystem.DebugNameFormatter+FormatOptions)", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/Microsoft.Diagnostics.JitTrace.model.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,3 +7,5 @@ extensions:
77
- ["Microsoft.Diagnostics.JitTrace", "JitTraceRuntime", "Prepare", "(System.IO.FileInfo,System.Int32,System.Int32)", "summary", "df-generated"]
88
- ["Microsoft.Diagnostics.JitTrace", "JitTraceRuntime", "Prepare", "(System.IO.StreamReader,System.Int32,System.Int32)", "summary", "df-generated"]
99
- ["Microsoft.Diagnostics.JitTrace", "JitTraceRuntime", "Prepare", "(System.String,System.Int32,System.Int32)", "summary", "df-generated"]
10+
- ["Microsoft.Diagnostics.JitTrace", "JitTraceRuntime", "add_LogFailure", "(System.Action<System.String>)", "summary", "df-generated"]
11+
- ["Microsoft.Diagnostics.JitTrace", "JitTraceRuntime", "remove_LogFailure", "(System.Action<System.String>)", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/Microsoft.Diagnostics.Tools.Pgo.model.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,8 @@ extensions:
1818
- ["Microsoft.Diagnostics.Tools.Pgo", "Edge", False, "Edge", "(Microsoft.Diagnostics.Tools.Pgo.Node,Microsoft.Diagnostics.Tools.Pgo.Node,System.Int64,System.Int64,System.Int64)", "", "Argument[this]", "Argument[this].Field[Microsoft.Diagnostics.Tools.Pgo.Edge.BackEdge].Field[Microsoft.Diagnostics.Tools.Pgo.Edge.BackEdge]", "value", "dfc-generated"]
1919
- ["Microsoft.Diagnostics.Tools.Pgo", "Edge", False, "ToString", "()", "", "Argument[this].Field[Microsoft.Diagnostics.Tools.Pgo.Edge.Source]", "ReturnValue", "taint", "dfc-generated"]
2020
- ["Microsoft.Diagnostics.Tools.Pgo", "Edge", False, "ToString", "()", "", "Argument[this].Field[Microsoft.Diagnostics.Tools.Pgo.Edge.Target]", "ReturnValue", "taint", "dfc-generated"]
21+
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", False, "MapEdges<S>", "(System.Func<System.ValueTuple<T,T>,System.Int64,S>)", "", "Argument[0].ReturnValue", "ReturnValue.Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "dfc-generated"]
22+
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", False, "MapNodes<S>", "(System.Func<T,System.Int64,S>)", "", "Argument[0].ReturnValue", "ReturnValue.Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "dfc-generated"]
2123
- ["Microsoft.Diagnostics.Tools.Pgo", "KeyValueMap<TKey,TValue>", False, "KeyValueMap", "(TKey[],TValue[])", "", "Argument[1]", "Argument[this].SyntheticField[Microsoft.Diagnostics.Tools.Pgo.KeyValueMap`2._values]", "value", "dfc-generated"]
2224
- ["Microsoft.Diagnostics.Tools.Pgo", "KeyValueMap<TKey,TValue>", False, "LookupRange", "(TKey,TKey)", "", "Argument[this].SyntheticField[Microsoft.Diagnostics.Tools.Pgo.KeyValueMap`2._values].Element", "ReturnValue.Element", "value", "dfc-generated"]
2325
- ["Microsoft.Diagnostics.Tools.Pgo", "KeyValueMap<TKey,TValue>", False, "TryLookup", "(TKey,TValue)", "", "Argument[this].SyntheticField[Microsoft.Diagnostics.Tools.Pgo.KeyValueMap`2._values].Element", "ReturnValue", "value", "dfc-generated"]
@@ -35,6 +37,7 @@ extensions:
3537
- ["Microsoft.Diagnostics.Tools.Pgo", "Edge", "AddFlow", "(System.Int64)", "summary", "df-generated"]
3638
- ["Microsoft.Diagnostics.Tools.Pgo", "Edge", "CheckEdgeConsistency", "()", "summary", "df-generated"]
3739
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", "CheckGraphConsistency", "()", "summary", "df-generated"]
40+
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", "FlowSmoothing", "(System.Collections.Generic.Dictionary<T,System.Int64>,T,System.Func<T,System.Collections.Generic.HashSet<T>>,System.Func<T,System.Boolean,System.Int64>)", "summary", "df-generated"]
3841
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", "MakeGraphFeasible", "()", "summary", "df-generated"]
3942
- ["Microsoft.Diagnostics.Tools.Pgo", "FlowSmoothing<T>", "Perform", "(System.Int32)", "summary", "df-generated"]
4043
- ["Microsoft.Diagnostics.Tools.Pgo", "LbrEntry32", "ToString", "()", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/Microsoft.DotNet.PlatformAbstractions.model.yml‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,16 @@
11
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
22
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", False, "Add<TValue>", "(TValue,System.Collections.Generic.IEqualityComparer<TValue>)", "", "Argument[0]", "Argument[1]", "taint", "df-generated"]
38
- addsTo:
49
pack: codeql/csharp-all
510
extensible: neutralModel
611
data:
712
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "Add", "(System.Int32)", "summary", "df-generated"]
813
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "Add", "(System.Object)", "summary", "df-generated"]
914
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "Add", "(System.String)", "summary", "df-generated"]
10-
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "Add<TValue>", "(TValue,System.Collections.Generic.IEqualityComparer<TValue>)", "summary", "df-generated"]
1115
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "Start", "()", "summary", "df-generated"]
1216
- ["Microsoft.DotNet.PlatformAbstractions", "HashCodeCombiner", "get_CombinedHash", "()", "summary", "df-generated"]

0 commit comments

Comments
 (0)