CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.0.1-dev (changelog, source)
Search

Member predicate DataFlow::SharedFlowStep::step

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

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