新しい ソフトウェア のために David Evans

スプリントは、静的にセキュリティの脆弱性とプログラミングのミスのためにCプログラムをチェックするためのツールです。スプリントは、ケースを介して、戻り値、ノーリターンで実行パス、おそらく無限ループ、秋を無視し、未使用の宣言、タイプの不整合、定義の前に使用し、到達不能コードを含む伝統的なリントチェックの多くを行います。より強力なチェックは、ソースコードの注釈に与えられた追加の情報によって可能となります。注釈は、様式化されたコメントは、関数、変数、パラメータ、およびタイプについてその文書の仮定です。特に注釈で有効...