CodeQL library for JavaScript
Search

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)