Guide Contents 1. Overview 2. Operation 3. Abstract Types	4. Function Interfaces 5. Memory Management 6. Sharing 7. Value Constraints	8. Macros 9. Naming Conventions 10. Other Checks Contact: lclint@cs.virginia.edu
This guide is preserved to maintain old links, but has been replaced by the Splint Manual.

Figures

Figure 1. Effort/benefit curve for LCLint. (not available in HTML format)
Figure 2. Violations using abstract types.
Figure 3. Boolean checking.
Figure 4. Modifies checking.
Figure 5. Globals checking.
Figure 6. Deallocation errors.
Figure 7. Stack references.
Figure 8. Implicit annotations.
Figure 9. Reference counting.
Figure 10. Unique parameters.
Figure 11. Returned parameters.
Figure 12. Exposure checking.
Figure 13. Use before definition.
Figure 14. Annotated globals lists.
Figure 15. Null checking.
Figure 16. Using notnull.
Figure 17. Special Clauses.
Figure 18. Naming checks.
Figure 19. Evaluation order
Figure 20. Infinite loop checking
Figure 21. Switch checking.
Figure 22. Statements with no effect.
Figure 23. Ignored return values.

This guide is preserved to maintain old links, but has been replaced by the Splint Manual.
	Guide Contents 1. Overview 2. Operation 3. Abstract Types	4. Function Interfaces 5. Memory Management 6. Sharing 7. Value Constraints	8. Macros 9. Naming Conventions 10. Other Checks Contact: lclint@cs.virginia.edu