Test case 243701

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: 21 Control flow: Flow controlled by value of a static global variable. All functions contained in one file.