Package illustrating a test case

Test case 155429

Description

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 32749 or greater, the
resultant value underflows and becomes positive. This results
in an infinite loop.
Metadata
- Base program: Apache Jena
- Source Taint: FILE_CONTENTS
- Data Type: ARRAY
- Data Flow: ADDRESS_AS_CONSTANT
- Control Flow: FUNCTION_INVOCATION_OVERLOAD

Flaws

Test Suites

Documentation

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