Test case 154987

Description

This test takes in a value passed as an argument
This value is originally signed, but is converted
to unsigned when stored in a char. This value is then
used to index an allocated array with a signed value.
Metadata
- Base program: Apache Jena
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE
- Control Flow: INFINITE_LOOP