CodeQL library for JavaScript
Search

Member predicate TaintTracking::SharedTaintStep::heapStep

Holds if predsucc should be considered a taint-propagating data flow edge through the heap.

predicate heapStep(Node pred, Node succ)