Test case 153053

Description

This test case implements an sprintf that uses untrusted user input without a format string. The test case takes untrusted user input and passes it to an sprintf that does not implement a format string. This allows the user to pass format strings to the test case causing it to leak sensitive data and possibly allowing an attacker to cause a buffer overflow and inject shell code.
Metadata
- Base program: FFmpeg
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: ADDRESS_AS_LINEAR_EXPRESSION
- Control Flow: INTERPROCEDURAL_10