National Institute of Standards and Technology
Package illustrating a test case

Test case 237299

Deprecated test case

This version contains mistakes, making it deprecated. Deprecated test cases should not be used for new work. However, They remain in the SARD as a reference to redo previous work. The latest version of this test case is available here.
Old Test Case ID
85006
Type
source code
State
mixed
Status
deprecated
Language
C
Submission Date

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: 17 Control flow: for loops

Flaws

Test Suites

Documentation

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