副 SPLINTは、セキュリティ上の問題と符号化間違いのためにCプログラムをチェックするツールです。
今すぐダウンロード

副 ランキングとまとめ

副 タグ

デバッガ セキュリティの問題 コーディングミス 副

副 説明

Splintは、セキュリティ上の問題と符号化間違いのためにCプログラムをチェックするツールです。 Splintは、セキュリティの脆弱性のためのCプログラムを静的にチェックするためのツールであり、Mistakesをプログラムします。ループ、およびケースを落とす。より強力なチェックは、ソースコードアノテーションで与えられた追加情報によって可能になります。注釈は、関数、変数、パラメータ、およびタイプに関する仮定を文書化したコメントです。結果を確認します。 SPLINTを使用するための表現努力利益曲線を図1に示します.Splintは、柔軟になるように設計され、プログラマが特定のプロジェクトの努力有益曲線で適切な点を選択できるように設計されています。異なる小切手がオンになり、より多くの情報が与えられます。コード注釈は劇的に増加することができるバグの数を増やします。・Splintによって検出された問題は次のとおりです。 Cコンパイラ・情報隠蔽の違反・ダングリングリークの使用やメモリリークの使用を含むメモリ管理エラー・指定されたインタフェースと矛盾する変更とグローバル変数の使用・無限ループや不完全なスイッチなどの問題のある制御フロー、疑わしいステートメント・バッファオーバーフローの脆弱性・危険マクロの実装や呼び出し・カスタマイズされた命名規則の違反。

副 関連ソフトウェア