National Institute of Standards and Technology
Package illustrating a test case

Test case 37440

Deprecated test case

This version contains mistakes, making it deprecated. Deprecated test cases should not be used for new work. However, They remain in the SARD as a reference to redo previous work.
Type
source code
State
mixed
Status
deprecated
Language
C
Submission Date

Description

CWE: 617 Reachable Assertion
BadSource: fgets Read data from the console using fgets()
GoodSource: Number greater than ASSERT_VALUE
Sink:
BadSink : Assert if n is less than ASSERT_VALUE
Flow Variant: 54 Data flow: data passed as an argument from one function through three others to a fifth; all five functions are in different source files

Flaws

Test Suites

Documentation

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