Splintをがんばって翻訳するウィキ

メニュー

• Introduction
• About This Document
• 1 Operation
• 2 Null Dereferences
• 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

• 管理者へのお問い合わせ

更新履歴