National Institute of Standards and Technology
Package illustrating a test case

Test case 142577

Description

CWE: 690 Unchecked return value is null, leading to a null pointer dereference.
BadSource: System_getProperty Set data to return of System.getProperty
GoodSource: Set data to fixed, non-null String
Sinks: equals
GoodSink: Call equals() on string literal (that is not null)
BadSink : Call equals() on possibly null object
Flow Variant: 06 Control flow: if(PRIVATE_STATIC_FINAL_FIVE==5) and if(PRIVATE_STATIC_FINAL_FIVE!=5)

Flaws

Test Suites

Documentation

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