Test case 150778

Description

This weakness reads a number to be used as a loop counter. The loop counter is initially read as an unsigned long, then converted to an int. If the number read in is larger than MAX_UINT, it is silently converted to a negative number. This breaks the loop counter logic, resulting in an infinite loop.
Metadata
- Base program: PostgreSQL
- Source Taint: SOCKET
- Data Type: HEAP_POINTER
- Data Flow: BUFFER_ADDRESS_POINTER
- Control Flow: SET_JUMP_LONG_JUMP