Skip to content

Commit c292040

Browse files
committed
C#: Add a query for detecting flow summaries that are discarded due to existing handwritten models.
1 parent 3937714 commit c292040

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
/**
2+
* @name Capture discarded summary models.
3+
* @description Finds summary models that are discarded as handwritten counterparts exist.
4+
* @id csharp/utils/model-generator/discarded-summary-models
5+
*/
6+
7+
private import semmle.code.csharp.dataflow.ExternalFlow
8+
private import internal.CaptureModels
9+
private import internal.CaptureFlow
10+
11+
from TargetApi api, string flow
12+
where flow = captureFlow(api) and hasSummary(api, false)
13+
select flow order by flow

0 commit comments

Comments
 (0)