This test takes in a value from a taint source,
and creates a string array based on the value.
Math is performed on the value such that, if the value is
greater than 500, the resultant value 'wraps around', and becomes
negative. This results in an exception being thrown, due to the
invalid array size.
- Base program: Apache Jena
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: VOID_POINTER
- Data Flow: BASIC
- Control Flow: INTERRUPT
Have any comments on this test case? Please, send us an email.