Predicate LocalTaintFlow::hasFlow
Holds if taint can flow from n1 to n2 in zero or more local
(intra-procedural) steps that are restricted to be part of a path between
source and sink.
Import path
import semmle.code.java.dataflow.internal.TaintTrackingUtil