National Institute of Standards and Technology
Package illustrating a test case

Test case 109001

Description

CWE: 606 Unchecked Input For Loop Condition
BadSource: console Read input from the console
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: 34 Data flow: use of a union containing two methods of accessing the same data (within the same function)

Flaws

Test Suites

Documentation

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