Metadata - Base program: Wireshark - Source Taint: ENVIRONMENT_VARIABLE - Data Type: UNION - Data Flow: VAR_ARG_LIST - Control Flow: CALLBACK

Metadata - Base program: PostgreSQL - Source Taint: SOCKET - Data Type: UNION - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: INFINITE_LOOP

Metadata - Base program: FFmpeg - Source Taint: SHARED_MEMORY - Data Type: UNION - Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: OpenSSL - Source Taint: SOCKET - Data Type: SIMPLE - Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE - Control Flow: SEQUENCE

Metadata - Base program: PostgreSQL - Source Taint: ENVIRONMENT_VARIABLE - Data Type: ARRAY - Data Flow: ADDRESS_AS_NONLINEAR_EXPRESSION - Control Flow: RECURSIVE

Metadata - Base program: Wireshark - Source Taint: SOCKET - Data Type: STRUCT - Data Flow: ADDRESS_AS_LINEAR_EXPRESSION - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: PostgreSQL - Source Taint: SHARED_MEMORY - Data Type: STRUCT - Data Flow: BASIC - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: Gimp - Source Taint: ENVIRONMENT_VARIABLE - Data Type: TYPEDEF - Data Flow: INDEX_ALIAS_10 - Control Flow: RECURSIVE

Metadata - Base program: Subversion - Source Taint: SHARED_MEMORY - Data Type: ARRAY - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: FILE_CONTENTS - Data Type: TYPEDEF - Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: Wireshark - Source Taint: FILE_CONTENTS - Data Type: VOID_POINTER - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: GNU Grep - Source Taint: FILE_CONTENTS - Data Type: SIMPLE - Data Flow: BASIC - Control Flow: SEQUENCE

Metadata - Base program: PostgreSQL - Source Taint: ENVIRONMENT_VARIABLE - Data Type: HEAP_POINTER - Data Flow: ADDRESS_AS_NONLINEAR_EXPRESSION - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: Tree - Source Taint: ENVIRONMENT_VARIABLE - Data Type: SIMPLE - Data Flow: BASIC - Control Flow: SEQUENCE

Metadata - Base program: GNU Grep - Source Taint: SOCKET - Data Type: SIMPLE - Data Flow: BASIC - Control Flow: SEQUENCE

Metadata - Base program: Wireshark - Source Taint: ENVIRONMENT_VARIABLE - Data Type: ARRAY - Data Flow: INDEX_ALIAS_1 - Control Flow: UNCONDITIONAL_JUMP

Metadata - Base program: OpenSSL - Source Taint: FILE_CONTENTS - Data Type: VOID_POINTER - Data Flow: ADDRESS_ALIAS_50 - Control Flow: CALLBACK

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

Metadata - Base program: OpenSSL - Source Taint: SOCKET - Data Type: VOID_POINTER - Data Flow: ADDRESS_AS_CONSTANT - Control Flow: CALLBACK

Metadata - Base program: OpenSSL - Source Taint: FILE_CONTENTS - Data Type: TYPEDEF - Data Flow: BUFFER_ADDRESS_POINTER - Control Flow: INDIRECTLY_RECURSIVE

Metadata - Base program: OpenSSL - Source Taint: SHARED_MEMORY - Data Type: UNION - Data Flow: INDEX_ALIAS_1 - Control Flow: INDIRECTLY_RECURSIVE

Metadata - Base program: Gimp - Source Taint: SOCKET - Data Type: SIMPLE - Data Flow: ADDRESS_AS_FUNCTION_RETURN_VALUE - Control Flow: POINTER_TO_FUNCTION

Metadata - Base program: GNU Grep - Source Taint: FILE_CONTENTS - Data Type: SIMPLE - Data Flow: BASIC - Control Flow: SEQUENCE

Metadata - Base program: Subversion - Source Taint: SOCKET - Data Type: VOID_POINTER - Data Flow: BUFFER_ADDRESS_ARRAY_INDEX - Control Flow: RECURSIVE

Metadata - Base program: FFmpeg - Source Taint: SHARED_MEMORY - Data Type: HEAP_POINTER - Data Flow: BASIC - Control Flow: CALLBACK