Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: SIMPLE - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: UNION - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: SEQUENCE

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: HEAP_POINTER - Data Flow: ADDRESS_AS_LINEAR_EXPRESSION - Control Flow: SET_JUMP_LONG_JUMP

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: UNION - Data Flow: BASIC - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: FFmpeg - Source Taint: SHARED_MEMORY - Data Type: ARRAY - Data Flow: VAR_ARG_LIST - Control Flow: INFINITE_LOOP

Metadata - Base program: FFmpeg - Source Taint: SHARED_MEMORY - Data Type: HEAP_POINTER - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: MACROS

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: TYPEDEF - Data Flow: ADDRESS_AS_NONLINEAR_EXPRESSION - Control Flow: INDIRECTLY_RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: UNION - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: SIMPLE - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: STRUCT - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: INDIRECTLY_RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: ARRAY - Data Flow: ADDRESS_AS_LINEAR_EXPRESSION - Control Flow: INDIRECTLY_RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: ARRAY - Data Flow: INDEX_ALIAS_1 - Control Flow: MACROS

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: UNION - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: MACROS

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: STRUCT - Data Flow: ADDRESS_AS_CONSTANT - Control Flow: SET_JUMP_LONG_JUMP

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: SIMPLE - Data Flow: ADDRESS_ALIAS_1 - Control Flow: MACROS

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: ARRAY - Data Flow: ADDRESS_AS_NONLINEAR_EXPRESSION - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: HEAP_POINTER - Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE - Control Flow: MACROS

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: HEAP_POINTER - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: INTERPROCEDURAL_2

Metadata - Base program: FFmpeg - Source Taint: SHARED_MEMORY - Data Type: SIMPLE - Data Flow: ADDRESS_AS_LINEAR_EXPRESSION - Control Flow: INFINITE_LOOP

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: SIMPLE - Data Flow: INDEX_ALIAS_10 - Control Flow: INFINITE_LOOP

Metadata - Base program: FFmpeg - Source Taint: SOCKET - Data Type: STRUCT - Data Flow: ADDRESS_AS_VARIABLE - Control Flow: SEQUENCE

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: TYPEDEF - Data Flow: ADDRESS_ALIAS_50 - Control Flow: INFINITE_LOOP

Metadata - Base program: FFmpeg - Source Taint: ENVIRONMENT_VARIABLE - Data Type: STRUCT - Data Flow: ADDRESS_AS_VARIABLE - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: SIMPLE - Data Flow: ADDRESS_ALIAS_2 - Control Flow: RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: HEAP_POINTER - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: RECURSIVE