This test case reads the taint source. If the length of the taint source is 63 bytes or less, it allocates a buffer to copy the taint source into. It then copies the taint source into the buffer, regardless of whether it actually allocated any memory or not. If it did not allocate memory, the buffer pointer is still NULL, and this causes a NULL pointer dereference.
- Base program: Wireshark
- Source Taint: SOCKET
- Data Type: HEAP_POINTER
- Data Flow: ADDRESS_AS_LINEAR_EXPRESSION
- Control Flow: SEQUENCE
Have any comments on this test case? Please, send us an email.