Description
This test takes input in the form of an integer
and creates an array of that size. If the input is too large
an exception is raised and the array is initialized to a
default size without ever changing the size variable. This
leads to an ArrayIndexoutOfBoundsException when the array
is accessed.
Metadata
- Base program: Apache Lenya
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: VOID_POINTER
- Data Flow: ADDRESS_AS_CONSTANT
- Control Flow: BREAK_WITH_LABEL
Flaws
Test Suites
Have any comments on this test case? Please, send us an email.