Splint - Secure Programming Lint
[email protected]
Download - Documentation - Manual - Links Reporting Bugs - Mailing Lists      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 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 [email protected]
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks
Reporting Bugs - Mailing Lists       Sponsors - Credits