Manual - Splint翻訳 Wiki - Splint翻訳

Up: Splint翻訳Wiki トップ

Prev: Splint翻訳Wiki トップ

Next: 1 Operation（操作）

Splint マニュアル

Version 3.1.1-1
2003年6月5日

ライセンス

このマニュアル、及び、bugs.html（英）、changes.html（英）、 FAQを含むこのウエブサイト上の他のSplintのドキュメントは Creative Commons Attribution-Share Alike 3.0 の下にライセンスされています。 これは、信用の帰属が維持され、あなたが作品に商用ライセンスを適用しない限り、作品の自由な共有と適用を可能とします。 詳細はhttp://creativecommons.org/licenses/by-sa/3.0/deed.ja見てください。

目次

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（文献解題）

このドキュメントはSplint(英)のサイトを元に作成しました

Up: Splint翻訳Wiki トップ

Prev: Splint翻訳Wiki トップ

Next: 1 Operation（操作）