Description
CWE: 124 Buffer Underwrite
BadSource: fscanf Read data from the console using fscanf()
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: 41 Data flow: data passed as an argument from one function to another in the same source file
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.