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