Infer

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

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

ライセンスのあるすべてのプラットフォームでのInferの代替

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

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

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

Splintは、Cプログラムのセキュリティ上の脆弱性やコーディングの間違いを静的にチェックするツールです。最小限の労力で、Splintをより良いリントとして使用できます。

Flawfinderは、ソースコードを検査し、リスクレベル別にソートされた潜在的なセキュリティ上の弱点（「欠陥」）を報告します。

lgtm.comは、コード分析のためのプラットフォームです。オープンソースソフトウェアに無料で使用できます。55,000以上のプロジェクトの結果はすぐに利用でき（独自に追加できます！）、自動コードレビュープルリクエスト統合（GitHub、Bitbucket、GitLab）などがあります。

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

EDoC ++は、C ++コードでの例外の使用に関連する問題を識別するために設計されたC ++ソース分析ツールです。