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