CodeQL library for JavaScript
codeql/javascript-all 0.6.2 ( changelog , source )
Search

Member predicate TaintTracking :: SharedTaintStep :: persistentStorageStep

Holds if predsucc should be considered a taint-propagating data flow edge through persistent storage.

predicate persistentStorageStep ( Node pred , Node succ )