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.

LCLint User's Guide

Version 2.5
May 2000

Contents

1. Overview
2. Operation
   • Messages
   • Flags
   • Stylized Comments
     • Annotations
     • Control Comments
3. Abstract Types
   • Access
   • Mutability
   • Boulean Types
   • Primitive C Types
     • Characters
     • Enumerators
     • Numeric Types
     • Arbitrary Integral Types
4. Function Interfaces
   • Modifications
     • Special Modifications
     • Missing Modifies Clauses
     • Limitations
   • Global Variables
     • Controlling Globals Checking
   • Declaration Consistency
5. Memory Management
   • Storage Model
   • Deallocation Errors
     • Unshared References
     • Temporary Parameters
     • Owned and Dependent References
     • Kept Parameters
     • Stack References
     • Inner Storage
   • Implicit Memory Annotations
   • Reference Counting
6. Sharing
   • Aliasing
     • Unique Parameters
     • Returned Parameters
   • Exposure
     • Read-Only Storage
     • Exposed Storage
7. Value Constraints
   • Use Before Definition
     • Undefined Parameters
     • Relaxing Checking
     • Partially Defined Structures
     • Global Variables
   • Null Pointers
     • Predicate Functions
     • Overriding Null Types
     • Relaxing Null Checking
   • Execution
   • Special Clauses
8. Macros
   • Constant Macros
   • Function-like Macros
     • Side-Effect Free Parameters
     • Polymorphism
   • Controlling Macro Checking
   • Iterators
9. Naming Conventions
   • Type-Based Naming Conventions
     • Czech Names
     • Slovak Names
     • Czechoslovak Names
   • Namespace Prefixes
   • Naming Restrictions
     • Reserved Names
     • Distinct Identifiers
10. Other Checks
    • Undefined Evaluation Order
    • Problematic Control Structures
      • Likely Infinite Loops
      • Switches
      • Deep Breaks
      • Loop and If Bodies
      • Complete if-else Logic
    • Suspicious Statements
      • Statements with No Effects
      • Ignored Return Values
    • Unused Declarations
    • Complete Programs
      • Unnecessary External Names
      • Declarations Missing from Headers
    • Compiler Limits

Appendices

Appendix A. Availability
Appendix B. Communication
Appendix C. Flags
Appendix D. Annotations
Appendix E. Control Comments
Appendix F. Libraries
Appendix G. Specifications

Figures

References
Acknowledgements

Next: Overview

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