Test case 117316

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: 82 Data flow: data passed in a parameter to an virtual method called via a pointer