Module TaintedPathLocalConfig
A taint-tracking configuration for tracking flow from local user input to the creation of a path.
Import path
import semmle.code.java.security.TaintedPathQuery
Predicates
isAdditionalFlowStep | Holds if data may flow from |
isBarrier | Holds if data flow through |
isSink | Holds if |
isSource | Holds if |