GitHub - flpa/splint: Splint - annotation-assisted static program checker

flpa / splint Public

forked from splintchecker/splint

Notifications You must be signed in to change notification settings
Fork 1
Star 1

Splint - annotation-assisted static program checker

View license

1 star 76 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 731 Commits
bin		bin
config		config
doc		doc
emacs		emacs
imports		imports
lib		lib
os2		os2
preBuilt		preBuilt
src		src
test		test
win32		win32
.cvsignore		.cvsignore
LICENSE		LICENSE
Makefile.am		Makefile.am
Makefile.binary.am		Makefile.binary.am
Makefile.binary.in		Makefile.binary.in
Makefile.in		Makefile.in
README		README
acinclude.m4		acinclude.m4
aclocal.m4		aclocal.m4
bootstrap		bootstrap
config.hin		config.hin
configure		configure
configure.ac		configure.ac
configure.binary		configure.binary
configure.binary.ac		configure.binary.ac
fixBinaryDist.sh		fixBinaryDist.sh
install.html		install.html
splint.spec		splint.spec
stamp-h		stamp-h
stamp-h.in		stamp-h.in
stamp-h1		stamp-h1
winconfig.h		winconfig.h

Repository files navigation

	  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