CWE: 195 Signed to Unsigned Conversion Error
BadSource: negative Set data to a fixed negative number
GoodSource: Positive integer
BadSink : Allocate memory using malloc() with the size of data
Flow Variant: 34 Data flow: use of a union containing two methods of accessing the same data (within the same function)
Have any comments on this test case? Please, send us an email.