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 //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 [email protected] Download - Documentation - Manual - Links Source - Linux - Publications - Talks Sponsors - Credits