在C项目中使用PVS-Studio这样的工具进行静态代码分析？

Question

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

Answer 1

您没有说明您需要什么，也没有说明您的平台(您的nick建议使用linux)，但我过去使用这些(D)对我的代码产生了很大的影响：

• (很棒的eclipse插件集成，它的cpp，但它确实支持cppcheclipse插件)
• Sparse (可以通过使用"external tools")
• (eclipse CDT具有plugin)
• Codan ( eclipse)
• 的内部部分，我相信这两个插件都提供了免费的非商业许可和官方的C99 eclipse集成插件)

)集成到eclipse中

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

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

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

Answer 2

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