Test case 243786

Description

CWE: 789 Uncontrolled Memory Allocation
BadSource: fgets Read data from the console using fgets()
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.