Module TaintTracking::LocalTaintFlow
Provides local taint flow restricted to a given set of sources and sinks.
Import path
import semmle.code.java.dataflow.TaintTracking
Predicates
hasExprFlow | Holds if taint can flow from |
hasFlow | Holds if taint can flow from |