Query module ImproperValidationOfArrayIndexCodeSpecified

name
Improper validation of code-specified array index
description
Using a code-specified value as an index to an array, without proper validation, can lead to index out of bound exceptions.
kind
path-problem
problem.severity
recommendation
precision
medium
id
java/improper-validation-of-array-index-code-specified
tags
security external/cwe/cwe-129

Imports

ArraySizing
BoundingChecks

Provides classes and predicates for determining upper and lower bounds on a value determined by bounding checks that have been made on dominant paths.

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.

java

Provides all default Java QL imports.

Classes