National Institute of Standards and Technology
Package illustrating a test case

Test case 139953

Description

CWE: 476 NULL Pointer Dereference
Sinks: binary_if
GoodSink: Do not check for null after the object has been dereferenced
BadSink : Check for null after an object has already been dereferenced
Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)

Flaws

Test Suites

Documentation

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