home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / README < prev   
Text File  |  2002-02-13  |  452b  |  19 lines
  1.       Splint - annotation-assisted static program checker
  2.              http://www.splint.org
  3.  
  4.             Copyright (C) 1994-2002
  5.             University of Virginia,
  6.          Massachusetts Institute of Technology
  7.          
  8.                  Version 3.0.1
  9.                  7 January 2001
  10.  
  11. Splint Documentation
  12. ====================
  13.  
  14. Installation instructions are found with this distribution in
  15. install.html (or at http://www.splint.org/source.html).
  16.  
  17. For documentation on Splint, please see http://www.splint.org
  18.  
  19.