CodeQL library for JavaScript
Search

Predicate localFlowStep

Holds if data can flow in one step from pred to succ, taking additional steps from the configuration into account.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate localFlowStep(Node pred, Node succ, Configuration configuration, FlowLabel predlbl, FlowLabel succlbl)