Predicate TaintTracking::viewComponentStep
Holds if pred -> succ is a taint propagating data flow edge through the
properties of a view compenent, such as the state or props of a React component.
Import path
import javascriptpredicate viewComponentStep(Node pred, Node succ)