Appendix B Communication

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 major new releases.
[email protected]
Informal discussions on the use and development of Splint.
To subscribe to a list visit

Next: Appendix C. Flags