Test case 98643

Description

CWE: 400 Resource Exhaustion
BadSource: fgets Read data from the console using fgets()
GoodSource: Assign count to be a relatively small number
Sinks: for_loop
GoodSink: Validate count before using it as the loop variant in a for loop
BadSink : Use count as the loop variant in a for loop
Flow Variant: 21 Control flow: Flow controlled by value of a static global variable. All functions contained in one file.