Module BoundedFlowSourceConfig
A dataflow configuration to reason about improper validation of code-specified array index.
Import path
import semmle.code.java.security.ImproperValidationOfArrayIndexCodeSpecifiedQuery
A dataflow configuration to reason about improper validation of code-specified array index.
import semmle.code.java.security.ImproperValidationOfArrayIndexCodeSpecifiedQuery