Test case 93045

Type: source code
State: mixed
Author: NSA/Center for Assured Software
Status: accepted
Language: C
Submission Date: 21 May 2013
Operating System: cpe:2.3:o:microsoft:windows:*:*:*:*:*:*:*:*

Description

CWE: 253 Incorrect Check of Return Value
Sinks: ImpersonateSelf
GoodSink: Correctly check if ImpersonateSelf() fails
BadSink : Incorrectly check if ImpersonateSelf() fails
Flow Variant: 04 Control flow: if(STATIC_CONST_TRUE) and if(STATIC_CONST_FALSE)

Flaws

CWE-253 Incorrect Check of Function Return Value

Test Suites

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

Documentation

Juliet 1.3 Test Suite: Changes From 1.2
Release Log for Juliet 1.3
Juliet v1.2 for C and C++ cases.pdf

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