Splint - annotation-assisted static program checker
C Shell C++ Other
Latest commit d8b2a24 Nov 14, 2010 bpringlemeir Handle \'unsigned long long' as well as 'long long'
Permalink
Failed to load latest commit information.
bin Add more cvsignore files. Oct 25, 2009
config Added config/* - CVS apparently doesn't do this automatically! Oct 16, 2001
doc Add more cvsignore files. Oct 25, 2009
emacs Initial revision Jun 13, 2000
imports Add more cvsignore files. Oct 25, 2009
lib Add more cvsignore files. Oct 25, 2009
os2 Fixed the OS/2 specific files for the latest release. Aug 10, 2007
preBuilt Trying to get Makefile in the repository. Jan 18, 2002
src Handle \'unsigned long long' as well as 'long long' Nov 14, 2010
test Add .cvsignore files. Oct 24, 2009
win32 Fixed problem with russian characters. Jun 7, 2003
.cvsignore Add more cvsignore files. Oct 25, 2009
LICENSE *** empty log message *** Jul 13, 2007
Makefile.am Fixed problem with russian characters. Jun 7, 2003
Makefile.binary.am Fixed data on readme. Mar 2, 2003
Makefile.binary.in Fixed data on readme. Mar 2, 2003
Makefile.in Update configure and makefile to aclocal/automake 1.10.1 and autoconf… Oct 24, 2009
README Updated expected output for help.expect to include new flags. Jul 13, 2007
acinclude.m4 Updated build to use automake files created by Tim Van Holder. Oct 14, 2001
aclocal.m4 Update configure and makefile to aclocal/automake 1.10.1 and autoconf… Oct 24, 2009
bootstrap Updated build to use automake files created by Tim Van Holder. Oct 14, 2001
config.hin Updated expected output for help.expect to include new flags. Jul 13, 2007
configure Update configure and makefile to aclocal/automake 1.10.1 and autoconf… Oct 24, 2009
configure.ac *** empty log message *** Jul 13, 2007
configure.binary Committing before tagging release. May 7, 2003
configure.binary.ac Committing before tagging release. May 7, 2003
fixBinaryDist.sh Fixed data on readme. Mar 2, 2003
install.html Fixed problem with russian characters. Jun 7, 2003
splint.spec Added splint.spec file contributed by Heiko Abraham May 20, 2002
stamp-h Updated build to use automake files created by Tim Van Holder. Oct 14, 2001
stamp-h.in Updated build to use automake files created by Tim Van Holder. Oct 14, 2001
stamp-h1 Update configure and makefile to aclocal/automake 1.10.1 and autoconf… Oct 24, 2009
winconfig.h Fixed problem with russian characters. Jun 7, 2003

README

	  Splint - annotation-assisted static program checker
			 http://www.splint.org

			Copyright (C) 1994-2007
			University of Virginia,
		 Massachusetts Institute of Technology
		 
			     Version 3.1.2
			     12 July 2007

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