对于命题可满足性、定理证明、旅行推销员等多种难计算问题，有一个广泛的测试套件可用于评估试图解决该问题的程序的性能。
是否存在用于自动查找错误的任何此类东西，即包含可以自动检测到的已知错误的程序或代码片段的集合？我假设，例如 Coverity 必须有这样的东西供内部使用，但谷歌搜索似乎没有显示任何公开可用的东西。
问问题
361 次
1 回答
3
我不认为这样的套房存在。“标准”套件最明显的问题是，它会用什么语言编写？
对于 C，您可以在此处查看SAFECode的测试套件。SAFECode 旨在在运行时检测这些错误，但“完美”的静态分析工具应该能够静态检测它们。
一个更全面、更重要的静态分析工具是Frama-C。请参阅题为“测试驱动静态分析工具以查找 C 代码漏洞”的论文。该论文描述了对您所要求的测试套件的需求。它还链接到测试套件和常见分析仪之间的有效性。Frama-C 可能有自己的基准，你可以下载源代码并检查。
也可以看看：
- “Frama-C 新闻和想法”博客，页面“静态分析基准”，列出了一些其他基准
于 2012-09-19T02:53:12.840 回答