Skip to content

Commit b083c35

Browse files
michaelnebelmichaelnebel
authored
Merge pull request github#15174 from michaelnebel/csharp/dotnet8runtimemodels
C#: .NET 8 Runtime models.
2 parents a205a03 + 089cad0 commit b083c35

File tree

128 files changed

+10511
-5232
lines changed

Some content is hidden

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

128 files changed

+10511
-5232
lines changed

‎csharp/ql/lib/ext/default.model.yml

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/csharp-all
4+
extensible: sourceModel
5+
data: []
6+
7+
- addsTo:
8+
pack: codeql/csharp-all
9+
extensible: sinkModel
10+
data: []
11+
12+
- addsTo:
13+
pack: codeql/csharp-all
14+
extensible: summaryModel
15+
data: []
16+
17+
- addsTo:
18+
pack: codeql/csharp-all
19+
extensible: neutralModel
20+
data: []

‎csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.LoongArch64.model.yml

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: neutralModel
6+
data:
7+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
8+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "ToString", "()", "summary", "df-generated"]
9+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
10+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
11+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
12+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
13+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Index", "()", "summary", "df-generated"]
14+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Res", "()", "summary", "df-generated"]
15+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
16+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
17+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
18+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
19+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
20+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
21+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
22+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
23+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
24+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
25+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
26+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
27+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
28+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
29+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
30+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
31+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
32+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
33+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
34+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
35+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
36+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
37+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
38+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.LoongArch64.Epilog[])", "summary", "df-generated"]
39+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
40+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
41+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
42+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
43+
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.model.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ extensions:
5656
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_InstanceMethods", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5757
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_ManifestReferenceAssemblies", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5858
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_Methods", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
59+
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_OwnerCompositeExecutable", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5960
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_ReadyToRunAssemblies", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
6061
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_ReadyToRunAssemblyHeaders", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
6162
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", False, "get_ReadyToRunHeader", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -67,7 +68,7 @@ extensions:
6768
- ["ILCompiler.Reflection.ReadyToRun", "StandaloneAssemblyMetadata", False, "StandaloneAssemblyMetadata", "(System.Reflection.PortableExecutable.PEReader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
6869
- ["ILCompiler.Reflection.ReadyToRun", "StandaloneAssemblyMetadata", False, "get_ImageReader", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
6970
- ["ILCompiler.Reflection.ReadyToRun", "StandaloneAssemblyMetadata", False, "get_MetadataReader", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
70-
- ["ILCompiler.Reflection.ReadyToRun", "StringBuilderExtensions", False, "AppendEscapedString", "(System.Text.StringBuilder,System.String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
71+
- ["ILCompiler.Reflection.ReadyToRun", "StringBuilderExtensions", False, "AppendEscapedString", "(System.Text.StringBuilder,System.String,System.Boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7172
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetArrayType", "(System.String,System.Reflection.Metadata.ArrayShape)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7273
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetByReferenceType", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
7374
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetGenericInstantiation", "(System.String,System.Collections.Immutable.ImmutableArray<System.String>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -312,7 +313,6 @@ extensions:
312313
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "IsReadyToRunImage", "(System.Reflection.PortableExecutable.PEReader)", "summary", "df-generated"]
313314
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "ValidateRuntimeFunctions", "(System.Collections.Generic.List<ILCompiler.Reflection.ReadyToRun.RuntimeFunction>)", "summary", "df-generated"]
314315
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "get_AllPgoInfos", "()", "summary", "df-generated"]
315-
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "get_Architecture", "()", "summary", "df-generated"]
316316
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "get_ComponentAssemblyIndexOffset", "()", "summary", "df-generated"]
317317
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "get_ComponentAssemblyIndicesStartAtTwo", "()", "summary", "df-generated"]
318318
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunReader", "get_Composite", "()", "summary", "df-generated"]
@@ -354,7 +354,7 @@ extensions:
354354
- ["ILCompiler.Reflection.ReadyToRun", "SignatureFormattingOptions", "set_InlineSignatureBinary", "(System.Boolean)", "summary", "df-generated"]
355355
- ["ILCompiler.Reflection.ReadyToRun", "SignatureFormattingOptions", "set_Naked", "(System.Boolean)", "summary", "df-generated"]
356356
- ["ILCompiler.Reflection.ReadyToRun", "SignatureFormattingOptions", "set_SignatureBinary", "(System.Boolean)", "summary", "df-generated"]
357-
- ["ILCompiler.Reflection.ReadyToRun", "StringExtensions", "ToEscapedString", "(System.String)", "summary", "df-generated"]
357+
- ["ILCompiler.Reflection.ReadyToRun", "StringExtensions", "ToEscapedString", "(System.String,System.Boolean)", "summary", "df-generated"]
358358
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", "GetFunctionPointerType", "(System.Reflection.Metadata.MethodSignature<System.String>)", "summary", "df-generated"]
359359
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", "GetGenericMethodParameter", "(TGenericContext,System.Int32)", "summary", "df-generated"]
360360
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", "GetGenericTypeParameter", "(TGenericContext,System.Int32)", "summary", "df-generated"]

‎csharp/ql/lib/ext/generated/ILLink.CodeFix.model.yml

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: neutralModel
6+
data:
7+
- ["ILLink.CodeFix", "BaseAttributeCodeFixProvider", "BaseRegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
8+
- ["ILLink.CodeFix", "BaseAttributeCodeFixProvider", "GetAttributeArguments", "(Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.Editing.SyntaxGenerator,Microsoft.CodeAnalysis.Diagnostic)", "summary", "df-generated"]
9+
- ["ILLink.CodeFix", "BaseAttributeCodeFixProvider", "GetFixAllProvider", "()", "summary", "df-generated"]
10+
- ["ILLink.CodeFix", "BaseAttributeCodeFixProvider", "HasPublicAccessibility", "(Microsoft.CodeAnalysis.ISymbol)", "summary", "df-generated"]
11+
- ["ILLink.CodeFix", "DynamicallyAccessedMembersCodeFixProvider", "GetFixAllProvider", "()", "summary", "df-generated"]
12+
- ["ILLink.CodeFix", "DynamicallyAccessedMembersCodeFixProvider", "RegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
13+
- ["ILLink.CodeFix", "DynamicallyAccessedMembersCodeFixProvider", "get_FixableDiagnosticIds", "()", "summary", "df-generated"]
14+
- ["ILLink.CodeFix", "DynamicallyAccessedMembersCodeFixProvider", "get_SupportedDiagnostics", "()", "summary", "df-generated"]
15+
- ["ILLink.CodeFix", "RequiresAssemblyFilesCodeFixProvider", "GetAttributeArguments", "(Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.Editing.SyntaxGenerator,Microsoft.CodeAnalysis.Diagnostic)", "summary", "df-generated"]
16+
- ["ILLink.CodeFix", "RequiresAssemblyFilesCodeFixProvider", "RegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
17+
- ["ILLink.CodeFix", "RequiresAssemblyFilesCodeFixProvider", "get_FixableDiagnosticIds", "()", "summary", "df-generated"]
18+
- ["ILLink.CodeFix", "RequiresAssemblyFilesCodeFixProvider", "get_SupportedDiagnostics", "()", "summary", "df-generated"]
19+
- ["ILLink.CodeFix", "RequiresDynamicCodeCodeFixProvider", "GetAttributeArguments", "(Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.Editing.SyntaxGenerator,Microsoft.CodeAnalysis.Diagnostic)", "summary", "df-generated"]
20+
- ["ILLink.CodeFix", "RequiresDynamicCodeCodeFixProvider", "RegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
21+
- ["ILLink.CodeFix", "RequiresDynamicCodeCodeFixProvider", "get_FixableDiagnosticIds", "()", "summary", "df-generated"]
22+
- ["ILLink.CodeFix", "RequiresDynamicCodeCodeFixProvider", "get_SupportedDiagnostics", "()", "summary", "df-generated"]
23+
- ["ILLink.CodeFix", "RequiresUnreferencedCodeCodeFixProvider", "GetAttributeArguments", "(Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.Editing.SyntaxGenerator,Microsoft.CodeAnalysis.Diagnostic)", "summary", "df-generated"]
24+
- ["ILLink.CodeFix", "RequiresUnreferencedCodeCodeFixProvider", "RegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
25+
- ["ILLink.CodeFix", "RequiresUnreferencedCodeCodeFixProvider", "get_FixableDiagnosticIds", "()", "summary", "df-generated"]
26+
- ["ILLink.CodeFix", "RequiresUnreferencedCodeCodeFixProvider", "get_SupportedDiagnostics", "()", "summary", "df-generated"]
27+
- ["ILLink.CodeFix", "UnconditionalSuppressMessageCodeFixProvider", "GetAttributeArguments", "(Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.ISymbol,Microsoft.CodeAnalysis.Editing.SyntaxGenerator,Microsoft.CodeAnalysis.Diagnostic)", "summary", "df-generated"]
28+
- ["ILLink.CodeFix", "UnconditionalSuppressMessageCodeFixProvider", "RegisterCodeFixesAsync", "(Microsoft.CodeAnalysis.CodeFixes.CodeFixContext)", "summary", "df-generated"]
29+
- ["ILLink.CodeFix", "UnconditionalSuppressMessageCodeFixProvider", "get_FixableDiagnosticIds", "()", "summary", "df-generated"]

0 commit comments

Comments
 (0)