National Institute of Standards and Technology
Package illustrating a test case

Test case 104786

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. The latest version of this test case is available here.
Type
source code
State
mixed
Author
NSA/Center for Assured Software
Status
accepted
Language
C
Submission Date

Description

CWE: 476 NULL Pointer Dereference
Sinks: null_check_after_deref
GoodSink: Do not check for NULL after the pointer has been dereferenced
BadSink : Check for NULL after a pointer has already been dereferenced
Flow Variant: 09 Control flow: if(GLOBAL_CONST_TRUE) and if(GLOBAL_CONST_FALSE)

Flaws

Test Suites

Documentation

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