Description
CWE: 606 Unchecked Input For Loop Condition
BadSource: file Read input from a file
GoodSource: Input a number less than MAX_LOOP
Sinks:
GoodSink: Use data as the for loop variant after checking to see if it is less than MAX_LOOP
BadSink : Use data as the for loop variant without checking its size
Flow Variant: 21 Control flow: Flow controlled by value of a static global variable. All functions contained in one file.
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.