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

Question

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

Answer 1

您没有说明您需要什么，也没有说明平台(您的昵称建议使用 linux)，
但我过去使用(d)这些对我的代码有很大影响:

Cppcheck (很棒的 Eclipse 插件集成，它的 cpp 但它实际上支持 C99 - 插件称为 cppcheclipse)

稀疏 (可以使用“外部工具”集成到 eclipse 中)

Splint (eclipse CDT 有插件)

科丹 ( eclipse 的内部部分)

Intel SSA (我相信这可以从 Intel Compaser 或 Parallel Studio 访问，它们都提供免费的非商业类许可和官方 Intel eclipse 集成插件)

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

如果你想要更多，在 中有一套很棒的工具框架-C .

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