National Institute of Standards and Technology
Package illustrating a test case

Test case 84486

Description

CWE: 190 Integer Overflow
BadSource: max Set data to the max value for unsigned int
GoodSource: Set data to a small, non-zero number (two)
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: 41 Data flow: data passed as an argument from one function to another in the same source file

Flaws

Test Suites

Documentation

Have any comments on this test case? Please, send us an email.