CodeQL library for JavaScript
Search

Predicate localExceptionStepWithAsyncFlag

Holds if an exception thrown from pred can propagate locally to succ.

The async flag is true if the step involves wrapping the exception in a rejected Promise.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate localExceptionStepWithAsyncFlag(Node pred, Node succ, boolean async)