Test case 243702

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: 22 Control flow: Flow controlled by value of a global variable. Sink functions are in a separate file from sources.