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