Cプロジェクトの静的コード解析用のPVS-Studioのようなツールですか？

Question

私はPVS-Studioツールのいくつかの代替案を探しています。これは、Cプロジェクトで静的コード解析を実行するためです。皆さんには何か提案がありますか？

Answer 1

あなたが必要なものを述べる、またプラットフォーム（あなたのニックネームは、Linuxを示唆）、 が、私は自分のコードに大きな影響を与え、過去に（D）これらを使用しないでください：

• Cppcheck（素晴らしいですプラグインの統合を日食、そのCPPが、それは実際にC99をサポートしていない - ）プラグインがcppcheclipseと呼ばれる
• スパース（「外部ツール」）
• 0123を使って日食にinegratedすることができます（日食CDTプラグインを持っている）
• CODAN（日食の内側部分）
• Intel SSA（私は免許のような無料の非商用を提供どちらも、これはインテルCompaserまたはパラレルスタジオからアクセスすることができると信じて公式インテルのEclipse統合プラグイン）

は、これらのすべてが（「外部ツールを実行する」、プラグインを使ってEclipseに同時に統合することができ、内部AR）とチェックしのEclipse CDTのIDE内の分析のためにリアルタイムに提供linux prオリマーズ。

さらにお望みなら、Frama-Cには素晴らしいツールがあります。

これらは私が知っている静的解析のための最良のフリーツールであり（必ずしもオープンソースでなくても商業的に無料でなくてもよい）、彼らは実際にEclipseとの素晴らしい相乗効果を作ります。 Codanツール以外のeclipse btwは申し訳ありませんが、他の方法でアクセスできます（cppcheckは単純なGUIを提供していますが、他のものはすべてシェルからアクセス可能です）。

Answer 2

あなたが探している機能については言及していませんが、Vigilant Sentryをチェックしてニーズに合っているかどうかを確認できます。 CおよびC++プログラムの静的解析を行い、独自のカスタムチェックを開発するためのプラグインシステムを備えています。