标签： memory memory-management memory-leaks
有没有办法计算证明程序不包含内存泄漏？
如果没有办法＆＃34;证明＆＃34;，有没有办法获得99％的信心＆＃34;在同一个声明中？
答案 0 :(得分：0)
大多数静态分析工具会检查内存泄漏错误。