Module LocalTaintFlow

Provides local taint flow restricted to a given set of sources and sinks.

Import path

import semmle.code.java.dataflow.internal.TaintTrackingUtil

hasExprFlow	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`.
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`.

source		nodeSig
sink		nodeSig