Member predicate TaintTracking :: SharedTaintStep :: viewComponentStep
Holds if pred
→ succ
should be considered a taint-propagating
data flow edge through the state
or props
or a React component.
predicate
viewComponentStep
(
Node
pred
,
Node
succ
)