National Institute of Standards and Technology
Package illustrating a test case

Test case 109273

Description

CWE: 606 Unchecked Input For Loop Condition
BadSource: environment Read input from an environment variable
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: 08 Control flow: if(staticReturnsTrue()) and if(staticReturnsFalse())

Flaws

Test Suites

Documentation

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