3. Abstract Types
4. Function Interfaces
5. Memory Management
7. Value Constraints
9. Naming Conventions
10. Other Checks
|This guide is preserved to maintain old links, but has been replaced by the Splint Manual.|
Appendix A Availability
The web home page for LCLint is http://lclint.cs.virginia.edu/index.html. It includes a this guide in postscript format, samples demonstrating LCLint, and links to related web sites.
LCLint can be downloaded from http://lclint.cs.virginia.edu/download.html.
Several platforms are supported and source code is available.
Next: Appendix B. Communication