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