Test case 138349

Description

CWE: 400 Resource Exhaustion
BadSource: getParameter_Servlet Read count from a querystring using getParameter()
GoodSource: A hardcoded non-zero, non-min, non-max, even 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: 15 Control flow: switch(6) and switch(7)