]>
Commit | Line | Data |
---|---|---|
146e25eb | 1 | Splint - annotation-assisted static program checker |
2 | http://www.splint.org | |
3 | ||
f0c4f4d3 | 4 | Copyright (C) 1994-2003 |
146e25eb | 5 | University of Virginia, |
6 | Massachusetts Institute of Technology | |
7 | ||
5b8c82a2 | 8 | Version 3.0.1.7 |
f0c4f4d3 | 9 | 2 March 20023 |
146e25eb | 10 | Splint Documentation |
885824d3 | 11 | ==================== |
12 | ||
155af98d | 13 | Installation instructions are found with this distribution in |
14 | install.html (or at http://www.splint.org/source.html). | |
15b3d2b2 | 15 | |
155af98d | 16 | For documentation on Splint, please see http://www.splint.org |
15b3d2b2 | 17 |