National Institute of Standards and Technology
Package illustrating a test case

Test case 141915

Description

CWE: 617 Assertion is reachable
Sinks: length
GoodSink: assert true, which will never trigger
BadSink : assert false, which will always trigger
Flow Variant: 07 Control flow: if(privateFive==5) and if(privateFive!=5)

Flaws

Test Suites

Documentation

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