Splint

スプリントは、静的にセキュリティの脆弱性とプログラミングのミスのためにCプログラムをチェックするためのツールです。
スプリントは、ケースを介して、戻り値、ノーリターンで実行パス、おそらく無限ループ、秋を無視し、未使用の宣言、タイプの不整合、定義の前に使用し、到達不能コードを含む伝統的なリントチェックの多くを行います。
より強力なチェックは、ソースコードの注釈に与えられた追加の情報によって可能となります。注釈は、様式化されたコメントは、関数、変数、パラメータ、およびタイプについてその文書の仮定です。
特に注釈で有効にチェックすることに加えて、従来のリントチェックの多くは、この追加情報を利用することによって改善されます。
より多くの努力が良い結果を確認し、注釈を付けるプログラムに入れられるように。スプリントを使用するための代表努力便益曲線を図1に示されています。
スプリントは、柔軟であることやプログラマは、特定のプロジェクトのための努力便益曲線上の適切な場所を選択できるように設計されています。
別のチェックがオンになっていると、より多くの情報をコードに与えられているように劇的に増加を検出することができるバグの数を注釈。
スプリントによって検出された問題は次のとおりです。