Test case 243937

Description

CWE: 789 Uncontrolled Memory Allocation
BadSource: rand Set data to result of rand(), which may be zero
GoodSource: Small number greater than zero
Sinks:
GoodSink: Allocate memory with malloc() and check the size of the memory to be allocated
BadSink : Allocate memory with malloc(), but incorrectly check the size of the memory to be allocated
Flow Variant: 73 Data flow: data passed in a list from one function to another in different source files