Predicate BoundedFlowSourceConfig::isSource
Holds if source is a relevant data flow source.
Import path
import semmle.code.java.security.ImproperValidationOfArrayIndexCodeSpecifiedQueryHolds if source is a relevant data flow source.
import semmle.code.java.security.ImproperValidationOfArrayIndexCodeSpecifiedQuery