National Institute of Standards and Technology
Package illustrating a test case

Test case 155412

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: SIMPLE
- Data Flow: INDEX_ALIAS_1
- Control Flow: INTERCLASS_1

Flaws

Test Suites

Documentation

Have any comments on this test case? Please, send us an email.