C#: Remove redundant neutral summaries for ProcessStartInfo.

michaelnebel · michaelnebel · commit cb3a59446c9b · 2024-04-12T11:31:59.000+02:00
diff --git a/csharp/ql/lib/ext/System.Diagnostics.model.yml b/csharp/ql/lib/ext/System.Diagnostics.model.yml
@@ -22,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"]
diff --git a/csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected b/csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected
@@ -25697,11 +25697,6 @@ neutral
 | System.Diagnostics;ProcessModuleCollection;get_Item;(System.Int32);summary;df-generated |
 | System.Diagnostics;ProcessStartInfo;get_ArgumentList;();summary;df-generated |
 | System.Diagnostics;ProcessStartInfo;get_Verbs;();summary;df-generated |
-| 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 |
 | System.Diagnostics;ProcessThread;ResetIdealProcessor;();summary;df-generated |
 | System.Diagnostics;ProcessThread;get_BasePriority;();summary;df-generated |
 | System.Diagnostics;ProcessThread;get_CurrentPriority;();summary;df-generated |
