Predicate TaintTracking::persistentStorageStep
Holds if pred -> succ
is a taint propagating data flow edge through persistent storage.
Import path
import javascript
predicate persistentStorageStep(Node pred, Node succ)
Holds if pred -> succ
is a taint propagating data flow edge through persistent storage.
import javascript
predicate persistentStorageStep(Node pred, Node succ)