Description
CWE: 190 Integer Overflow
BadSource: rand Set data to result of rand()
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: add
GoodSink: Ensure there will not be an overflow before adding 1 to data
BadSink : Add 1 to data, which can cause an overflow
Flow Variant: 52 Data flow: data passed as an argument from one method to another to another in three different classes in the same package
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.