A taint-tracking configuration to reason about improper validation of user-provided size used for array construction.
Import path
import semmle.code.java.security.ImproperValidationOfArrayConstructionQuery
A taint-tracking configuration to reason about improper validation of user-provided size used for array construction.
import semmle.code.java.security.ImproperValidationOfArrayConstructionQuery