Predicate LoopBoundInjection :: hasCrashingArrayAccess
Holds if there exists an array access indexed by the variable var
where it is likely that
the array access will cause a crash if var
grows unbounded.
Import path
import semmle.javascript.security.dataflow.LoopBoundInjectionCustomizations
predicate
hasCrashingArrayAccess
(
Variable
var
)