National Institute of Standards and Technology
Package illustrating a test case

Test case 74220

Description

CWE: 124 Buffer Underwrite
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 the lower bound
Flow Variant: 52 Data flow: data passed as an argument from one function to another to another in three different source files

Flaws

Test Suites

Documentation

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