Splint Manual

Version 3.1.1
27 April 2003

The current version of the Splint Manual is available as:

• HTML Complete - a single HTML file containing the entire Manual

• Adobe PDF Format (can be read using the Adobe Acrobat reader)
• Browseable HTML

Contents

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
Index

	Splint - Secure Programming Lint info@splint.org Download - Documentation - Manual - Links Source - Linux - Publications - Talks Reporting Bugs - Mailing Lists       Sponsors - Credits