像PVS-Studio这样的工具用于C项目中的静态代码分析？

Question

我正在寻找PVS-Studio工具的一些替代方案，以便在C项目中运行一些静态代码分析。你们有什么建议吗？

Answer 1

你没有说明你需要什么，也没有平台（你的昵称暗示linux）， 但我过去使用（d）这些对我的代码有很大的影响：

• Cppcheck （很棒的eclipse插件集成，它的cpp但实际上支持C99 - 插件称为cppcheclipse）
• 稀疏（可以使用“外部工具”将其集成到eclipse中）
• Splint （eclipse CDT有插件）
• Codan （日食的内部部分）
• Intel SSA （我相信可以从英特尔Compaser或Parallel工作室访问，这两者都提供免费的非商业许可和官方的英特尔eclipse集成插件）

所有这些都可以同时集成到eclipse中（使用插件，“内部运行外部工具”），并在 Eclipse CDT IDE中为Linux程序员提供实时检查和分析。 / p>

如果你想要更多， Frama-C 中有一套很棒的工具。

这些是我所知道的静态分析的最佳免费工具（不一定是开源或免费用于商业用途），它们确实与eclipse有很好的协同作用。 很抱歉广告eclipse btw，除了Codan工具，这些可以通过其他方式访问（cppcheck提供简单的GUI我相信，其他都可以从shell访问）。

Answer 2

您没有提到您正在寻找的功能，但您可以查看Vigilant Sentry并查看它是否符合您的需求。它对C和C ++程序进行静态分析，并有一个插件系统，用于开发自己的自定义检查。