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: 14 Control flow: if(globalFive==5) and if(globalFive!=5)
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.