National Institute of Standards and Technology
Package illustrating a test case

Test case 80401

Description

CWE: 134 Uncontrolled Format String
BadSource: listen_socket Read data using a listen socket (server side)
GoodSource: Copy a fixed string into data
Sinks: vfprintf
GoodSink: vfprintf with a format string
BadSink : vfprintf without a format string
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.