CodeQL library for Java/Kotlin
codeql/java-all 0.8.8 (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(string input, string output, boolean preservesValue)