CodeQL library for C#
codeql/csharp-all 0.6.2 ( changelog , source )
Search

Member predicate Public :: SummarizedCallable :: hasProvenance

Holds if there exists a summary that applies to this callable that has provenance provenance.

predicate hasProvenance ( Provenance provenance )