Test case 17717

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

Description

CWE: 188 Reliance on Data Memory Layout
Sinks: union
GoodSink: Use mechanisms that are not dependent upon size, alignment/packing, or byte order to accomplish equivalent functionality
BadSink : Modify a union member by relying on the byte-order, size, alignment/packing of struct and union fields
Flow Variant: 08 Control flow: if(static_returns_t()) and if(static_returns_f())

Flaws

CWE-188 Reliance on Data/Memory Layout

Test Suites

Juliet C/C++ 1.0
Juliet C/C++ 1.0 with extra support

Documentation

Juliet v1.0 for C and C++ cases.pdf

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