CodeQL library for JavaScript
Search

Predicate DataFlow::SharedFlowStep::step

Holds if predsucc should be considered a data flow edge transforming values with label predlbl to have label succlbl.

Import path

import javascript
predicate step(Node pred, Node succ, FlowLabel predlbl, FlowLabel succlbl)