Merge pull request github#21095 from michaelnebel/net10/generatedmodels

C#: Update .NET runtime models.

Author: michaelnebel

csharp/ql/lib/change-notes/2026-01-05-net-runtime-models.md

@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* Updated the generated .NET “models as data” runtime models to cover .NET 10.

csharp/ql/lib/ext/generated/Generators.model.yml

@@ -5,4 +5,5 @@ extensions:
       extensible: neutralModel
     data:
       - ["Generators", "EventSourceGenerator", "Initialize", "(Microsoft.CodeAnalysis.IncrementalGeneratorInitializationContext)", "summary", "df-generated"]
+      - ["Generators", "NativeRuntimeEventSourceGenerator", "Initialize", "(Microsoft.CodeAnalysis.IncrementalGeneratorInitializationContext)", "summary", "df-generated"]
       - ["Generators", "ProductVersionInfoGenerator", "Initialize", "(Microsoft.CodeAnalysis.IncrementalGeneratorInitializationContext)", "summary", "df-generated"]

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

@@ -12,14 +12,14 @@ extensions:
       extensible: neutralModel
     data:
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcInfo+SafePointOffset", "SafePointOffset", "(System.Int32,System.UInt32)", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcInfo", "GcInfo", "(System.Byte[],System.Int32,System.Reflection.PortableExecutable.Machine,System.UInt16,System.UInt16)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcInfo", "GcInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32,System.Reflection.PortableExecutable.Machine,System.UInt16,System.UInt16)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcInfo", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcSlotTable+GcSlot", "WriteTo", "(System.Text.StringBuilder,System.Reflection.PortableExecutable.Machine,ILCompiler.Reflection.ReadyToRun.GcSlotFlags)", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcSlotTable", "GcSlotTable", "(System.Byte[],System.Reflection.PortableExecutable.Machine,ILCompiler.Reflection.ReadyToRun.GcInfoTypes,System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcSlotTable", "GcSlotTable", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Reflection.PortableExecutable.Machine,ILCompiler.Reflection.ReadyToRun.GcInfoTypes,System.Int32)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcSlotTable", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcSlotTable", "get_NumTracked", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcTransition", "GcTransition", "(System.Int32,System.Int32,System.Boolean,System.Int32,ILCompiler.Reflection.ReadyToRun.Amd64.GcSlotTable,System.Reflection.PortableExecutable.Machine)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "GcTransition", "GetSlotState", "(ILCompiler.Reflection.ReadyToRun.Amd64.GcSlotTable,System.Reflection.PortableExecutable.Machine)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Amd64", "InterruptibleRange", "InterruptibleRange", "(System.UInt32,System.UInt32,System.UInt32)", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "UnwindCode", "UnwindCode", "(System.Byte[],System.Int32,System.Int32)", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "UnwindCode", "UnwindCode", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32,System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Amd64", "UnwindInfo", "UnwindInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32)", "summary", "df-generated"]

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

@@ -8,4 +8,4 @@ extensions:
       - ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "UnwindInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32)", "summary", "df-generated"]

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

@@ -8,4 +8,4 @@ extensions:
       - ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "UnwindInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32)", "summary", "df-generated"]

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

@@ -8,4 +8,4 @@ extensions:
       - ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "UnwindInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32)", "summary", "df-generated"]

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

@@ -0,0 +1,22 @@
+# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
+extensions:
+  - addsTo:
+      pack: codeql/csharp-all
+      extensible: summaryModel
+    data:
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", False, "GetManifestAssemblyMetadata", "(System.Reflection.Metadata.MetadataReader)", "", "Argument[0]", "ReturnValue.SyntheticField[ILCompiler.Reflection.ReadyToRun.ManifestAssemblyMetadata._metadataReader]", "value", "dfc-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", False, "MachOImageReader", "(System.Byte[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
+  - addsTo:
+      pack: codeql/csharp-all
+      extensible: neutralModel
+    data:
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "DumpImageInformation", "(System.IO.TextWriter)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "GetEntireImage", "()", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "GetOffset", "(System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "GetSections", "()", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "GetStandaloneAssemblyMetadata", "()", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "Read<T>", "(System.Int64,T)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "TryGetReadyToRunHeader", "(System.Int32,System.Boolean)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "get_ImageBase", "()", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "get_Machine", "()", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.MachO", "MachOImageReader", "get_OperatingSystem", "()", "summary", "df-generated"]

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

@@ -8,4 +8,4 @@ extensions:
       - ["ILCompiler.Reflection.ReadyToRun.RiscV64", "Epilog", "ToString", "()", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.RiscV64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
       - ["ILCompiler.Reflection.ReadyToRun.RiscV64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
-      - ["ILCompiler.Reflection.ReadyToRun.RiscV64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
+      - ["ILCompiler.Reflection.ReadyToRun.RiscV64", "UnwindInfo", "UnwindInfo", "(ILCompiler.Reflection.ReadyToRun.NativeReader,System.Int32)", "summary", "df-generated"]