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:
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 [email protected] containing the body
subscribe splint-announceor subscribe splint-interest.
Next: Appendix B. Flags
Return to Contents