For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
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.
pred -> succ
predicate viewComponentStep(Node pred, Node succ)