National Institute of Standards and Technology
Package illustrating a test case

Test case 149660

Description

This test case reads a space-delimited string from the taint source. The first element in the string is the number of elements following it. The test cases reads in the following elements and outputs them. If there are fewer elements than expected, a segmentation fault occurs.
Metadata
- Base program: FFmpeg
- Source Taint: SHARED_MEMORY
- Data Type: TYPEDEF
- Data Flow: ADDRESS_AS_LINEAR_EXPRESSION
- Control Flow: SET_JUMP_LONG_JUMP

Flaws

Test Suites

Documentation

Have any comments on this test case? Please, send us an email.