C#: Add a query for detecting flow summaries that are discarded due to existing handwritten models.

michaelnebel · michaelnebel · commit c2920405fcf4 · 2022-04-05T08:55:12.000+02:00
diff --git a/csharp/ql/src/utils/model-generator/CaptureDiscardedSummaryModels.ql b/csharp/ql/src/utils/model-generator/CaptureDiscardedSummaryModels.ql
@@ -0,0 +1,13 @@
+/**
+ * @name Capture discarded summary models.
+ * @description Finds summary models that are discarded as handwritten counterparts exist.
+ * @id csharp/utils/model-generator/discarded-summary-models
+ */
+
+private import semmle.code.csharp.dataflow.ExternalFlow
+private import internal.CaptureModels
+private import internal.CaptureFlow
+
+from TargetApi api, string flow
+where flow = captureFlow(api) and hasSummary(api, false)
+select flow order by flow
