Provides a dataflow configuration to reason about improper validation of code-specified array index.
Import path
import semmle.code.java.security.ImproperValidationOfArrayIndexCodeSpecifiedQueryImports
| java | Provides all default Java QL imports. |
Modules
| BoundedFlowSourceConfig | A dataflow configuration to reason about improper validation of code-specified array index. |
Aliases
| BoundedFlowSourceFlow | Dataflow flow for improper validation of code-specified array index. |