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

Predicate DataFlow2::flowsTo

Holds if data can flow (inter-procedurally) from source to sink.

Will only have results if configuration has non-empty sources and sinks.

Import path

import semmle.code.java.dataflow.TaintTracking
predicate flowsTo(Node source, Node sink, Configuration configuration)