对于许多种硬计算问题，例如命题可满足性，定理证明，旅行推销员等，存在一个广泛的测试套件，可用于评估试图解决问题的程序的性能。
是否存在自动查找错误的任何内容，即包含可以自动检测到的已知错误的程序或代码片段的集合？我假设，例如Coverity必须有这样的东西供内部使用，但Google搜索似乎没有显示任何公开的内容。
答案 0 :(得分：3)
我不认为这样的套件存在。对于“标准”套件来说，最明显的问题是，它将用什么语言编写？
对于C，您可以查看SAFECode的测试套件here。 SAFECode用于在运行时检测这些错误，但“完美”静态分析工具应该能够静态检测它们。
更全面，更重要的是，静态分析工具是Frama-C。参见题为“Test-driving static analysis tools in search of C code vulnerabilities”的论文。本文描述了您需要的测试套件的需求。它还链接到test suite和普通分析仪之间的有效性。 Frama-C可能有自己的基准测试，您可以下载源代码并进行检查。
另见：