Description
This test case looks for the substring 'aba' within the taint source. If it finds the substring, it sets a pointer called stonesoup_second_buff to the beginning of the 'aba' substring, and the weakness continues without incident. If it does not find the substring, stonesoup_second_buff retains its initial value of NULL. The weakness subsequently calculates the length of stonesoup_second_buff, using strlen. If stonesoup_second_buff is NULL, this causes a segmentation fault.
Metadata
- Base program: FFmpeg
- Source Taint: SOCKET
- Data Type: ARRAY
- Data Flow: ADDRESS_AS_NONLINEAR_EXPRESSION
- Control Flow: INTERPROCEDURAL_2
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.