Predicate TaintTracking::Cached::heuristicStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge, contribued by the heuristics library.
Import path
import javascript
predicate heuristicStep(Node pred, Node succ)
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge, contribued by the heuristics library.
import javascript
predicate heuristicStep(Node pred, Node succ)