Member predicate TaintTracking::ErrorConstructorTaintStep::heapStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through the heap.
Holds if pred → succ should be considered a taint-propagating
data flow edge through the heap.