Predicate localExceptionStep
Holds if an exception thrown from pred
can propagate locally to succ
.
Import path
import semmle.javascript.dataflow.internal.FlowSteps
predicate localExceptionStep(Node pred, Node succ)
Holds if an exception thrown from pred
can propagate locally to succ
.
import semmle.javascript.dataflow.internal.FlowSteps
predicate localExceptionStep(Node pred, Node succ)