Test case 49824

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: 08 Apr 2011

Description

CWE: 190 Integer Overflow
BadSource: URLConnection Read data from a web server with URLConnection
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: 05 Control flow: if(private_t) and if(private_f)

Flaws

CWE-190 Integer Overflow or Wraparound

Test Suites

Juliet Java 1.0
Juliet Java 1.0 with extra support

Documentation

Juliet v1.0 for Java cases.pdf

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