Description
CWE: 617 Reachable Assertion
BadSource: fixed Fixed value less than the assert value
GoodSource: Number greater than ASSERT_VALUE
Sinks:
BadSink : Assert if n is less than or equal to ASSERT_VALUE
Flow Variant: 84 Data flow: data passed to class constructor and destructor by declaring the class object on the heap and deleting it after use
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.