Splint - Secure Programming Lint
Manual Contents - Other Formats Section: 1  2  3  4  5  6  7  8  9  10  11  12  13  14  A  B  C  D  E     Sponsors - Credits

Appendix A                    Availability

The web home page for Splint is http://www.splint.org.  It includes this guide in HTML format, samples demonstrating Splint, and links to related web sites.  Splint is available as source code and binary executables for several platforms.  Splint may be freely distributed and modified under the GNU General Public License.  The latest development code is available through SourceForge.


Splint development is largely driven by suggestions and comments from users.  We are also very interested in hearing about your experiences using Splint in developing or maintaining programs, enforcing coding standards, or teaching courses.  For general information, suggestions, and questions on Splint send mail to splint@cs.virginia.edu.


To report a bug in Splint send a message to splint-bug@cs.virginia.edu.


There are two mailing lists associated with Splint:


Reserved for announcements of new releases and bug fixes.  All users should add themselves to this list. 


Informal discussions on the use and development of Splint. 


To subscribe to a mailing list, send a message to majordomo@virginia.edu containing the body

subscribe splint-announceor subscribe splint-interest.

Next: Appendix B. Flags
Return to Contents

Splint Manual
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
Appendices: A. Availability - B. Flags - C. Annotations - D. Specifications - E. Annotated Bibliography - Index