Predicate TaintTracking::Cached::Public::heapStep

Holds if pred -> succ is a taint propagating data flow edge through the heap.

Import path

import semmle.javascript.dataflow.TaintTracking

predicate heapStep(Node pred, Node succ)