Clang Static Analyzer

Clang Static Analyzerは、C、C ++、およびObjective-Cプログラムのバグを検出するソースコード分析ツールです。

Clang Static Analyzerは、C、C ++、およびObjective-Cプログラムのバグを検出するソースコード分析ツールです。

clang-static-analyzer

LinuxのClang Static Analyzerの代替

Cppcheckは、C / C ++コード用の静的分析ツールです。C / C ++コンパイラや他の多くの分析ツールとは異なり、コード内の構文エラーは検出しません。

PVS-Studioは、C、C ++、C＃アプリケーションのソースコードのエラーを検出する静的アナライザーです。

Coverity Scan Static Analysisを使用すると、Java、C / C ++、またはC＃オープンソースプロジェクトの欠陥を無料で見つけて修正できます。

Gimpel Software PC-lint Plus、MISRAサポートを含むCおよびC ++の柔軟な静的解析

Facebook Inferは静的分析ツールです。InferにObjective-C、Java、またはCコードを渡すと、潜在的なバグのリストが生成されます。