splintchecker/splint

splint failed with double free

Opened this issue · 0 comments

hello, i want to check the file flow-manager.c of suricata, but the double free error occured.

$ sudo splint flow-manager.c
*** Error in `splint': double free or corruption (out): 0x0000000001ef30c0 ***