Description
CWE: 191 Integer Underflow
BadSource: min Set data to the max value for byte
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: multiply
GoodSink: Ensure there will not be an underflow before multiplying data by 2
BadSink : If data is negative, multiply by 2, which can cause an underflow
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.