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: 08 Control flow: if(staticReturnsTrue()) and if(staticReturnsFalse())
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.