Predicate isEarlyAbortGuardNode
Holds if e
effectively guards access to action
by returning or throwing early.
Example: if (e) return; action(x)
.
Import path
import semmle.javascript.security.dataflow.ConditionalBypassQuery
predicate isEarlyAbortGuardNode(PathNode e, SensitiveAction action)