Predicate LoopBoundInjection::isCrashingWithNullValues
Holds if an exception will be thrown whenever e
evaluates to undefined
or null
.
Import path
import semmle.javascript.security.dataflow.LoopBoundInjectionCustomizations
predicate isCrashingWithNullValues(Expr e)