Test case 49051

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: 134 Uncontrolled Format String
BadSource: Environment Read a string from an environment variable
GoodSource: A hardcoded string
Sinks: printf
GoodSink: dynamic printf format with string defined
BadSink : dynamic printf without validation
Flow Variant: 12 Control flow: if(IO.static_returns_t_or_f())

Flaws

CWE-134 Use of Externally-Controlled Format String

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.