|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /proc/22697/root/usr/share/doc/splint-3.1.1/ |
Upload File : |
Splint - annotation-assisted static program checker http://www.splint.org Copyright (C) 1994-2003 University of Virginia, Massachusetts Institute of Technology Version 3.1.0 12 April 2003 Splint Documentation ==================== Installation instructions are found with this distribution in install.html (or at http://www.splint.org/source.html). For documentation on Splint, please see http://www.splint.org