Description
CWE: 127 Buffer Underread
BadSource: rand Set data to result of rand(), which may be zero
GoodSource: Non-negative but less than 10
Sinks:
GoodSink: Ensure the array index is valid
BadSink : Improperly check the array index by not checking to see if the value is negative
Flow Variant: 83 Data flow: data passed to class constructor and destructor by declaring the class object on the stack
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.