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
- 25 March 2001
+ Version 3.1.2
+ 12 July 2007
Splint Documentation
====================