National Institute of Standards and Technology
Package illustrating a test case

Test case 236855

Description

CWE: 190 Integer Overflow
BadSource: connect_socket Read data using a connect socket (client side)
GoodSource: Set data to a small, non-zero number (two)
Sinks: increment
GoodSink: Ensure there will not be an overflow before incrementing data
BadSink : Increment data, which can cause an overflow
Flow Variant: 52 Data flow: data passed as an argument from one function to another to another in three different source files

Flaws

Test Suites

Documentation

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