Test case 70684

Description

CWE: 122 Heap Based Buffer Overflow
BadSource: listen_socket Read data using a listen socket (server side)
GoodSource: Larger than zero but less than 10
Sinks:
GoodSink: Ensure the array index is valid
BadSink : Improperly check the array index by not checking the upper bound
Flow Variant: 81 Data flow: data passed in a parameter to an virtual method called via a reference