Test case 153189

Description

This test case creates a struct that has a message_type field and a message_data field. The message_type field should be 1 if the message_data field contains a char*, and 0 if it contains an int. The message_data field is set to be the taint source, and the message_type field is set to 1. If the taint source can be converted to an integer, the message_data field is changed to the integer representation of the taint source. However, the message_type field is not updated. Subsequently, the test case tries to calculate the string length of the message_data field. Since the message_data field is an int, rather than a char*, this causes a segmentation fault.
Metadata
- Base program: Gimp
- Source Taint: SHARED_MEMORY
- Data Type: HEAP_POINTER
- Data Flow: ADDRESS_AS_VARIABLE
- Control Flow: POINTER_TO_FUNCTION