Splint - annotation-assisted static program checker
http://www.splint.org
- Copyright (C) 1994-2002
+ Copyright (C) 1994-2007
University of Virginia,
Massachusetts Institute of Technology
- Version 3.0.1
- 7 January 2001
+ Version 3.1.2
+ 12 July 2007
Splint Documentation
====================