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 lclint-announce or subscribe lclint-interest.

Next: Appendix B. Flags
Return to Contents