c malloc free delete

不匹配地使用malloc/new/new[] 和 free/delete/delete[]

正常使用new/delete和malloc/free是这样子的： double free的

使用free释放内存,而new所申请的内存则是在自由存储区上,使用delete

不匹配使用delete或者free

c语言详解动态内存分配及常见错误的解决c语言

frama-c malloc neon-20140301 fatal error