Skip to content

Commit

Permalink
Merge pull request #16121 from michaelnebel/csharp/modelgenexcludeset
Browse files Browse the repository at this point in the history 
C#: Exclude properties with both a getter and setter as candidates for modelling.
  • Loading branch information
@michaelnebel
michaelnebel authored Apr 16, 2024
2 parents e99c78e + 1c8298a commit 58635bd
Show file tree
Hide file tree
Showing 239 changed files with 695 additions and 15,925 deletions.
4 changes: 4 additions & 0 deletions csharp/ql/lib/change-notes/2024-04-05-dotnet-runtime-property-models.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Generated .NET Runtime models for properties with both getters and setters have been removed as this is now handled by the data flow library.
12 changes: 3 additions & 9 deletions csharp/ql/lib/ext/System.Diagnostics.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,9 @@ extensions:
- ["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"]
- ["System.Diagnostics", "ActivityTagsCollection", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Diagnostics.ActivityTagsCollection+Enumerator.Current]", "value", "manual"]
- ["System.Diagnostics", "ProcessModuleCollection", False, "CopyTo", "(System.Diagnostics.ProcessModule[],System.Int32)", "", "Argument[this].Element", "Argument[0].Element", "value", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.FileName]", "value", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[0]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.FileName]", "value", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", False, "ProcessStartInfo", "(System.String,System.String)", "", "Argument[1]", "Argument[this].Property[System.Diagnostics.ProcessStartInfo.Arguments]", "value", "manual"]
- ["System.Diagnostics", "ProcessThreadCollection", False, "Add", "(System.Diagnostics.ProcessThread)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
- ["System.Diagnostics", "ProcessThreadCollection", False, "CopyTo", "(System.Diagnostics.ProcessThread[],System.Int32)", "", "Argument[this].Element", "Argument[0].Element", "value", "manual"]
- ["System.Diagnostics", "TraceListenerCollection", False, "Add", "(System.Diagnostics.TraceListener)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
Expand All @@ -19,12 +22,3 @@ extensions:
- ["System.Diagnostics", "TraceListenerCollection", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
- ["System.Diagnostics", "TraceListenerCollection", False, "get_Item", "(System.String)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
- ["System.Diagnostics", "TraceListenerCollection", False, "set_Item", "(System.Int32,System.Diagnostics.TraceListener)", "", "Argument[1]", "Argument[this].Element", "value", "manual"]
- addsTo:
pack: codeql/csharp-all
extensible: neutralModel
data:
- ["System.Diagnostics", "ProcessStartInfo", "set_Arguments", "(System.String)", "summary", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", "set_FileName", "(System.String)", "summary", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", "set_UserName", "(System.String)", "summary", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", "set_Verb", "(System.String)", "summary", "manual"]
- ["System.Diagnostics", "ProcessStartInfo", "set_WorkingDirectory", "(System.String)", "summary", "manual"]
106 changes: 0 additions & 106 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Amd64.model.yml
View file

Large diffs are not rendered by default.

34 changes: 0 additions & 34 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Arm.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,40 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindCode", "set_Index", "(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", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
32 changes: 0 additions & 32 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.Arm64.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,38 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindCode", "set_Index", "(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", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.Arm64.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.Arm64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
32 changes: 0 additions & 32 deletions csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.LoongArch64.model.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,38 +6,6 @@ extensions:
data:
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "Epilog", "(System.Int32,System.Int32,System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "ToString", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Condition", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartIndex", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffset", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_EpilogStartOffsetFromMainFunctionBegin", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "get_Res", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Condition", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartIndex", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffset", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_EpilogStartOffsetFromMainFunctionBegin", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Index", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "Epilog", "set_Res", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "UnwindCode", "(System.Int32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "get_Index", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindCode", "set_Index", "(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", "get_CodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_EpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Epilogs", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedCodeWords", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_ExtendedEpilogCount", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_FunctionLength", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_Vers", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "get_XBit", "()", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_CodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EBit", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_EpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Epilogs", "(ILCompiler.Reflection.ReadyToRun.LoongArch64.Epilog[])", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedCodeWords", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_ExtendedEpilogCount", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_FunctionLength", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_Vers", "(System.UInt32)", "summary", "df-generated"]
- ["ILCompiler.Reflection.ReadyToRun.LoongArch64", "UnwindInfo", "set_XBit", "(System.UInt32)", "summary", "df-generated"]
Loading

0 comments on commit 58635bd

Please sign in to comment.