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 javascript
predicate
viewComponentStep
(
Node
pred
,
Node
succ
)