National Institute of Standards and Technology
Package illustrating a test case

Test case 241639

Description

CWE: 761 Free Pointer not at Start of Buffer
BadSource: file Read input from a file
Sinks:
GoodSink: free() memory correctly at the start of the buffer
BadSink : free() memory not at the start of the buffer
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.