Test case 129611

Description

CWE: 190 Integer Overflow
BadSource: getQueryString_Servlet Parse id param out of the URL query string (without using getParameter())
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: multiply
GoodSink: Ensure there will not be an overflow before multiplying data by 2
BadSink : If data is positive, multiply by 2, which can cause an overflow
Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)