Test case 155392

Description

This test takes in a value from a taint source,
which is then used to allocate an array. This value is
positive when stored in a byte, but if the value is between 128 and
255, becomes negative if stored in a byte. When this negative value
is stored in a larger container (an int) it becomes a very large
number. When this number is used as part of a loop, it results in an
out of bounds exception.
Metadata
- Base program: Apache Jena
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: ARRAY
- Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE
- Control Flow: CALLBACK