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

Question

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

Answer 1

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

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

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

如果您想要更多， Frama-C中还有一组很棒的工具。

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