Skip to content

Commit e416a06

Browse files
committed
C#: Add isAutoGenerated predicate to SummarizedCallable.
1 parent 0c71849 commit e416a06

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -219,6 +219,11 @@ module Public {
219219
*/
220220
pragma[nomagic]
221221
predicate clearsContent(ParameterPosition pos, ContentSet content) { none() }
222+
223+
/**
224+
* Gets whether the summary is auto generated or not.
225+
*/
226+
boolean isAutoGenerated() { result = false }
222227
}
223228
}
224229

@@ -898,6 +903,8 @@ module Private {
898903
kind = "taint" and preservesValue = false
899904
)
900905
}
906+
907+
override boolean isAutoGenerated() { summaryElement(this, _, _, _, result) }
901908
}
902909

903910
/** Holds if component `c` of specification `spec` cannot be parsed. */

0 commit comments

Comments
 (0)