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