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
)