Splint - Secure Programming Lint |
info@splint.org |
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 |
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 splint@cs.virginia.edu.
To report a bug in Splint send a message to splint-bug@cs.virginia.edu.
There are two mailing lists associated with Splint:
splint-announce@virginia.edu
Reserved for announcements of new releases and bug fixes. All users should add themselves to this list.
splint-interest@virginia.edu
Informal discussions on the use and development of Splint.
To subscribe to a mailing list, send a message to majordomo@virginia.edu containing the body
subscribe splint-announceor subscribe splint-interest.
Next: Appendix B. Flags
Return to Contents