Description
CWE: 129 Improper Validation of Array Index
BadSource: large_fixed Set data to a value greater than the size of the array
GoodSource: A hardcoded non-zero, non-min, non-max, even number
Sinks: array_read_check_min
GoodSink: Read from array after verifying that data is at least 0 and less than array.length
BadSink : Read from array after verifying that data is at least 0 (but not verifying that data less than array.length)
Flow Variant: 75 Data flow: data passed in a serialized object from one method to another in different source files in the same package
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.