Test case 139302

Description

CWE: 400 Resource Exhaustion
BadSource: max_value Set count to a hardcoded value of Integer.MAX_VALUE
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks:
GoodSink: Validate count before using it as a parameter in sleep function
BadSink : Use count as the parameter for sleep withhout checking its size first
Flow Variant: 53 Data flow: data passed as an argument from one method through two others to a fourth; all four functions are in different classes in the same package