Splint - Secure Programming Lint
[email protected]
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 [email protected].

 

To report a bug in Splint send a message to [email protected].

 

There are two mailing lists associated with Splint:

[email protected]

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

[email protected]

Informal discussions on the use and development of Splint. 

 

To subscribe to a mailing list, send a message to [email protected] containing the body

subscribe splint-announceor subscribe splint-interest.

Next: Appendix B. Flags
Return to Contents

Splint Manual
[email protected]
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