Test case 241308

Old Test Case ID: 241308
Type: source code
State: mixed
Author: NSA/Center for Assured Software
Status: accepted
Language: C
Submission Date: 06 Oct 2017

Description

CWE: 758 Undefined Behavior
Sinks: malloc_use
GoodSink: Initialize then use data
BadSink : Use data from malloc without initialization
Flow Variant: 16 Control flow: while(1)

Flaws

CWE-758 Reliance on Undefined, Unspecified, or Implementation-Defined Behavior

Test Suites

Juliet C/C++ 1.3.1 with extra support
Juliet C/C++ 1.3
Juliet C/C++ 1.3 with extra support

Documentation

Release Log for Juliet 1.3
Juliet 1.3 Test Suite: Changes From 1.2

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