advanced-security/qtil-javascript
0.0.3
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)