C#: Update .NET 8 runtime models.

This commit is contained in:
Michael Nebel
2024-07-17 09:03:22 +02:00
parent 35ec9db23a
commit 4b0427c732
3 changed files with 0 additions and 13 deletions

View File

@@ -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

View File

@@ -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

View File

@@ -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