National Institute of Standards and Technology
Package illustrating a test case

Test case 49757

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.
Type
source code
State
mixed
Status
deprecated
Language
Java
Submission Date

Description

CWE: 190 Integer Overflow
BadSource: PropertiesFile Read a value from a .properties file
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: add
GoodSink: Ensure there will not be an overflow before performing the addition
BadSink : Unchecked addition, which can lead to overflow
Flow Variant: 68 Data flow: data passed as a member variable in the "a" class, which is used by a method in another class in the same package

Flaws

Test Suites

Documentation

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