類似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++程序進行靜態分析，並有一個用於開發自定義檢查的插件系統。