qtil
advanced-security/qtil-javascript 0.0.3
Search

Predicate TaintTracking::Cached::Public::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 semmle.javascript.dataflow.TaintTracking
predicate viewComponentStep(Node pred, Node succ)