1 Splint - annotation-assisted static program checker
4 Copyright (C) 1994-2003
5 University of Virginia,
6 Massachusetts Institute of Technology
13 Installation instructions are found with this distribution in
14 install.html (or at http://www.splint.org/source.html).
16 For documentation on Splint, please see http://www.splint.org