A taint-tracking configuration to reason about improper validation of user-provided array index.
Import path
import semmle.code.java.security.ImproperValidationOfArrayIndexQuery
Predicates
isBarrier | Holds if data flow through |
isBarrierIn | Holds if data flow into |
isSink | Holds if |
isSource | Holds if |