Test case 42932

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
Operating System: cpe:2.3:o:microsoft:windows:*:*:*:*:*:*:*:*

Description

CWE: 772 Missing Release of Resource after Effective Lifetime
BadSource: Open a file using CreateFile()
Sinks:
GoodSink: Close the file using CloseHandle()
BadSink : Do not close file
Flow Variant: 63 Data flow: pointer to data passed from one function to another in different source files

Flaws

CWE-772 Missing Release of Resource after Effective Lifetime

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.