Skip to content

Commit 58635bd

Browse files
michaelnebelmichaelnebel
authored
Merge pull request #16121 from michaelnebel/csharp/modelgenexcludeset
C#: Exclude properties with both a getter and setter as candidates for modelling.
2 parents e99c78e + 1c8298a commit 58635bd

File tree

239 files changed

+695
-15925
lines changed

Some content is hidden

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

239 files changed

+695
-15925
lines changed

‎csharp/ql/lib/change-notes/2024-04-05-dotnet-runtime-property-models.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Generated .NET Runtime models for properties with both getters and setters have been removed as this is now handled by the data flow library.

‎csharp/ql/lib/ext/System.Diagnostics.model.yml‎

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,9 @@ extensions:
99
- ["System.Diagnostics", "ActivityTagsCollection", False, "Add", "(System.Collections.Generic.KeyValuePair<System.String,System.Object>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
1010
- ["System.Diagnostics", "ActivityTagsCollection", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Diagnostics.ActivityTagsCollection+Enumerator.Current]", "value", "manual"]
1111
- ["System.Diagnostics", "ProcessModuleCollection", False, "CopyTo", "(System.Diagnostics.ProcessModule[],System.Int32)", "", "Argument[this].Element", "Argument[0].Element", "value", "manual"]
12+
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.FileName]", "value", "manual"]
13+
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.FileName]", "value", "manual"]
14+
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[1]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.Arguments]", "value", "manual"]
1215
- ["System.Diagnostics", "ProcessThreadCollection", False, "Add", "(System.Diagnostics.ProcessThread)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
1316
- ["System.Diagnostics", "ProcessThreadCollection", False, "CopyTo", "(System.Diagnostics.ProcessThread[],System.Int32)", "", "Argument[this].Element", "Argument[0].Element", "value", "manual"]
1417
- ["System.Diagnostics", "TraceListenerCollection", False, "Add", "(System.Diagnostics.TraceListener)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
@@ -19,12 +22,3 @@ extensions:
1922
- ["System.Diagnostics", "TraceListenerCollection", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
2023
- ["System.Diagnostics", "TraceListenerCollection", False, "get_Item", "(System.String)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
2124
- ["System.Diagnostics", "TraceListenerCollection", False, "set_Item", "(System.Int32,System.Diagnostics.TraceListener)", "", "Argument[1]", "Argument[this].Element", "value", "manual"]
22-
- addsTo:
23-
pack: codeql/csharp-all
24-
extensible: neutralModel
25-
data:
26-
- ["System.Diagnostics", "ProcessStartInfo", "set_Arguments", "(System.String)", "summary", "manual"]
27-
- ["System.Diagnostics", "ProcessStartInfo", "set_FileName", "(System.String)", "summary", "manual"]
28-
- ["System.Diagnostics", "ProcessStartInfo", "set_UserName", "(System.String)", "summary", "manual"]
29-
- ["System.Diagnostics", "ProcessStartInfo", "set_Verb", "(System.String)", "summary", "manual"]
30-
- ["System.Diagnostics", "ProcessStartInfo", "set_WorkingDirectory", "(System.String)", "summary", "manual"]

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

Lines changed: 0 additions & 106 deletions
Large diffs are not rendered by default.

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

Lines changed: 0 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -6,40 +6,6 @@ extensions:
66
data:
77
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
88
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "ToString", "()", "summary", "df-generated"]
9-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Condition", "()", "summary", "df-generated"]
10-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
11-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
12-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
13-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Index", "()", "summary", "df-generated"]
14-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Res", "()", "summary", "df-generated"]
15-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
16-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
17-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
18-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
19-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
20-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
219
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
22-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
23-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
2410
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
2511
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
26-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
27-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
28-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
29-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
30-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
31-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
32-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FBit", "()", "summary", "df-generated"]
33-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
34-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
35-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
36-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
37-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
38-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
39-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm.Epilog[])", "summary", "df-generated"]
40-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
41-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
42-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FBit", "(System.UInt32)", "summary", "df-generated"]
43-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
44-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
45-
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]

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

Lines changed: 0 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -6,38 +6,6 @@ extensions:
66
data:
77
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
88
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "ToString", "()", "summary", "df-generated"]
9-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
10-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
11-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
12-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
13-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Index", "()", "summary", "df-generated"]
14-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Res", "()", "summary", "df-generated"]
15-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
16-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
17-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
18-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
19-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
20-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
219
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
22-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
23-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "set_Index", "(System.Int32)", "summary", "df-generated"]
2410
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
2511
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "UnwindInfo", "(System.Byte[],System.Int32)", "summary", "df-generated"]
26-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_CodeWords", "()", "summary", "df-generated"]
27-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
28-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
29-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
30-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
31-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
32-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
33-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
34-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
35-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
36-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
37-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
38-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm64.Epilog[])", "summary", "df-generated"]
39-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
40-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
41-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
42-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
43-
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]

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

Lines changed: 0 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -6,38 +6,6 @@ extensions:
66
data:
77
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
88
- ["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"]
219
- ["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"]
2410
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "ToString", "()", "summary", "df-generated"]
2511
- ["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"]

0 commit comments

Comments
 (0)