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 Lucene
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: BASIC
- Control Flow: FUNCTION_INVOCATION_OVERLOAD
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.