Splint Manual

Version 3.1.1-1
5 June 2003

The current version of the Splint Manual is also available as:

• HTML Complete - a single HTML file containing the entire Manual
• Adobe PDF Format (can be read using the Adobe Acrobat reader)

License

This manual and the other Splint documentation on this website including bugs.html, changes.html, and the FAQ are licensed under the Creative Commons Attribution-Share Alike 3.0 license. This permits free sharing and adaptation of the work, so long as the credit attributions are maintained and you do not apply a commercial license to the work. See http://creativecommons.org/licenses/by-sa/3.0/ for details.

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 evans@virginia.edu Download - Documentation - Manual - Links Source - Linux - Publications - Talks Reporting Bugs    Sponsors - Credits