This test case reads the taint source. If it contains a non-alphanumeric value, the source taint buffer is set to NULL. Subsequently, strcpy is called with the source taint buffer as this source. This causes a null pointer dereference.
- Base program: Subversion
- Source Taint: SHARED_MEMORY
- Data Type: UNION
- Data Flow: BUFFER_ADDRESS_ARRAY_INDEX
- Control Flow: INTERPROCEDURAL_10
Have any comments on this test case? Please, send us an email.