Infer

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

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

infer

LinuxのInferの代替

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

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

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

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

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