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 lclint-announce or subscribe lclint-interest.
Next: Appendix B. Flags
Return to Contents