Splint

Splint

Splintは、Cプログラムのセキュリティ上の脆弱性やコーディングの間違いを静的にチェックするツールです。最小限の労力で、Splintをより良いリントとして使用できます。
Splintは、Cプログラムのセキュリティ上の脆弱性やコーディングの誤りを静的にチェックするツールです。最小限の労力で、Splintをより良いリントとして使用できます。プログラムに注釈を追加するための追加の努力が注がれると、Splintは標準のlintで実行できるよりも強力なチェックを実行できます。

ウェブサイト:

カテゴリー

LinuxのSplintの代替

Cppcheck

Cppcheck

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

Coverity Scan

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

Flawfinder

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

Infer

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