Splint翻訳 Wiki - Splint翻訳

Splint翻訳

このプロジェクトではその名の通り、Splint（C言語用の静的解析ツールである）の翻訳（日本語）を行います。

Splintの本家サイトは http://www.splint.org/ にあります。

Splintについて

Splintはセキュリティの脆弱さとプログラミングのミスを修正するためにC言語のプログラムを静的にチェックするためのツールです。詳細はマニュアルのSection1の冒頭部を参照してください。

ライセンス：GPL

目次

• Splint翻訳Wiki トップ
  • マニュアル
    • 1 Operation（操作）
    • 2 Null Dereferences（NULLポインタへの値の参照）
    • 3 Undefined Values（未定義の値）
    • 4 Types（型）
    • 5 Memory Management（メモリ管理）
    • 6 Sharing（共有）
    • 7 Function Interfaces（関数インタフェース）
    • 8 Control Flow（制御フロー）
    • 9 Buffer Sizes（バッファーサイズ）
    • 10 Extensible Checking（拡張可能なチェック）
    • 11 Macros（マクロ）
    • 12 Naming Conventions（命名規則）
    • 13 Completeness（完全性）
    • 14 Libraries and Header File Inclusion（ライブラリとヘッダファイルのインクルード）
    • Appendix A Availability（利用）
    • Appendix B Flags（フラグ）
    • Appendix C Annotations（アノテーション）
    • Appendix D Specifications（仕様）
    • Appendix E Annotated Bibliography（文献解題）
    • End Notes（文末脚注）
  • 良くある質問
  • Windowsへのインストール
  • 訳注

次: マニュアル