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
-
+ 2 March 20023
Splint Documentation
====================