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

Question

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

Answer 1

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

• Cppcheck（大Eclipse插件整合，其CPP但它实际上支持C99 - 插件被称为cppcheclipse）
• 稀疏（可通过 “外部工具”）
• 0123被inegrated到Eclipse（蚀CDT具有插件）
• 柯顿（蚀的内部部分）
• Intel SSA（I相信这可以从英特尔Compaser或并行工作室，两者都提供免费的非商业等许可证访问和官方英特尔Eclipse的集成插件）

所有的这些都可以在同一时间到Eclipse（使用插件，“运行外部工具”整合内部Ar）和提供实时检查和的Eclipse CDT IDE内分析linux pr程序员。

如果你想要更多，alsa真棒套工具Frama-C。

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

Answer 2

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