National Institute of Standards and Technology
Package illustrating a test case

Test case 85901

Description

CWE: 191 Integer Underflow
BadSource: fscanf Read data from the console using fscanf()
GoodSource: Set data to a small, non-zero number (negative two)
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: 84 Data flow: data passed to class constructor and destructor by declaring the class object on the heap and deleting it after use

Flaws

Test Suites

Documentation

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