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.DataFlow
predicate flowsTo(Node source, Node sink, Configuration configuration)