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

Member predicate Make::Public::SummarizedCallable::propagatesFlow

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

preservesValue indicates whether this is a value-preserving step or a taint-step.

If model is non-empty then it indicates the provenance of the model defining this flow.

predicate propagatesFlow(string input, string output, boolean preservesValue, string model)