Provides a dataflow configuration to reason about improper validation of code-specified size used for array construction.
Import path
import semmle.code.java.security.ImproperValidationOfArrayConstructionCodeSpecifiedQueryImports
| java | Provides all default Java QL imports. |
Modules
| BoundedFlowSourceConfig | A dataflow configuration to reason about improper validation of code-specified size used for array construction. |
Aliases
| BoundedFlowSourceFlow | Dataflow flow for improper validation of code-specified size used for array construction. |