Module BoundedFlowSourceConfig
A dataflow configuration to reason about improper validation of code-specified size used for array construction.
Import path
import semmle.code.java.security.ImproperValidationOfArrayConstructionCodeSpecifiedQuery
A dataflow configuration to reason about improper validation of code-specified size used for array construction.
import semmle.code.java.security.ImproperValidationOfArrayConstructionCodeSpecifiedQuery