National Institute of Standards and Technology
Package illustrating a test case

Test case 251966

Description

CWE: 191 Integer Underflow
BadSource: console_readLine Read data from the console using readLine
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: sub
GoodSink: Ensure there will not be an underflow before subtracting 1 from data
BadSink : Subtract 1 from data, 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.