National Institute of Standards and Technology
Package illustrating a test case

Test case 84316

Description

CWE: 190 Integer Overflow
BadSource: fscanf Read data from the console using fscanf()
GoodSource: Set data to a small, non-zero number (two)
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: 83 Data flow: data passed to class constructor and destructor by declaring the class object on the stack

Flaws

Test Suites

Documentation

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