Splint - Secure Programming Lint
[email protected]
Download - Documentation - Manual - Links Sponsors - Credits

Splint Manual

Version 3.1.1-1
5 June 2003

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

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