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)