codeql/javascript-all
1.1.2-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if pred → succ should be considered a data flow edge transforming values with label predlbl to have label succlbl.
pred
succ
predlbl
succlbl
predicate step(Node pred, Node succ, FlowLabel predlbl, FlowLabel succlbl)