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
  3. Abstract Types
  4. Function Interfaces
  5. Memory Management
  6. Sharing
  7. Value Constraints
  8. Macros
  9. Naming Conventions
  10. Other Checks

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