Predicate TaintTracking::Cached::genericStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge, which doesn’t fit into a more specific category.
Import path
import javascript
predicate genericStep(Node pred, Node succ)
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge, which doesn’t fit into a more specific category.
import javascript
predicate genericStep(Node pred, Node succ)