CWE: 195 Signed to Unsigned Conversion Error
BadSource: connect_socket Read data using a connect socket (client side)
GoodSource: Positive integer
BadSink : Allocate memory using malloc() with the size of data
Flow Variant: 16 Control flow: while(1)
Have any comments on this test case? Please, send us an email.