Description
This test takes in a value from a taint source.
Math is performed on the value such that, if the
value is 32767 or 32766, the resultant value 'wraps around',
and becomes negative. This results in an infinite loop.
Metadata
- Base program: Apache Lenya
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: JAVA_GENERICS
- Control Flow: BREAK_WITH_LABEL
Flaws
Test Suites
Apache Lenya 2.0.4
IARPA STONESOUP Phase 3 - Test Cases
Have any comments on this test case? Please, send us an email.