CodeQL library for Java
codeql/java-all 0.6.1 ( changelog , source )
Search

Member predicate SyntheticCallable :: propagatesFlow

Holds if data may flow from input to output through this callable.

See SummarizedCallable::propagatesFlow for details.

predicate propagatesFlow ( SummaryComponentStack input , SummaryComponentStack output , boolean preservesValue )