C#: Update .NET 8 runtime models.

github · Jul 18, 2024 · e6df6db · e6df6db
1 parent 6071ea2
commit e6df6db
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 13 deletions.
diff --git a/csharp/ql/lib/ext/generated/System.Configuration.model.yml b/csharp/ql/lib/ext/generated/System.Configuration.model.yml
@@ -194,12 +194,6 @@ extensions:
       - ["System.Configuration", "UriSection", False, "get_Idn", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Configuration", "UriSection", False, "get_IriParsing", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Configuration", "UriSection", False, "get_SchemeSettings", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-  - addsTo:
-      pack: codeql/csharp-all
-      extensible: sourceModel
-    data:
-      - ["System.Configuration", "ApplicationSettingsBase", False, "GetPreviousVersion", "(System.String)", "", "ReturnValue", "file-write", "df-generated"]
-      - ["System.Configuration", "ApplicationSettingsBase", False, "GetPreviousVersion", "(System.String)", "", "ReturnValue", "file", "df-generated"]
   - addsTo:
       pack: codeql/csharp-all
       extensible: neutralModel

diff --git a/csharp/ql/lib/ext/generated/System.Diagnostics.model.yml b/csharp/ql/lib/ext/generated/System.Diagnostics.model.yml
@@ -157,12 +157,6 @@ extensions:
       - ["System.Diagnostics", "TraceSource", False, "TraceSource", "(System.String,System.Diagnostics.SourceLevels)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["System.Diagnostics", "TraceSource", False, "get_Listeners", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["System.Diagnostics", "TraceSource", False, "get_Name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-  - addsTo:
-      pack: codeql/csharp-all
-      extensible: sourceModel
-    data:
-      - ["System.Diagnostics", "Process", False, "get_ProcessName", "()", "", "ReturnValue", "file-write", "df-generated"]
-      - ["System.Diagnostics", "Process", False, "get_ProcessName", "()", "", "ReturnValue", "file", "df-generated"]
   - addsTo:
       pack: codeql/csharp-all
       extensible: neutralModel

diff --git a/csharp/ql/lib/ext/generated/System.model.yml b/csharp/ql/lib/ext/generated/System.model.yml
@@ -603,7 +603,6 @@ extensions:
     data:
       - ["System", "Environment", False, "GetFolderPath", "(System.Environment+SpecialFolder)", "", "ReturnValue", "environment", "df-generated"]
       - ["System", "Environment", False, "GetFolderPath", "(System.Environment+SpecialFolder,System.Environment+SpecialFolderOption)", "", "ReturnValue", "environment", "df-generated"]
-      - ["System", "Environment", False, "get_SystemDirectory", "()", "", "ReturnValue", "environment", "df-generated"]
   - addsTo:
       pack: codeql/csharp-all
       extensible: neutralModel