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
                                
                                )