GitHub - dmott-eyelock/splint at d2d83ebdc392bd4ee06a4e587fe4420b2e396238

dmott-eyelock / splint Public

forked from splintchecker/splint

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

Splint - annotation-assisted static program checker

View license

0 stars 76 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 751 Commits
config-aux		config-aux
doc		doc
emacs		emacs
imports		imports
lib		lib
os2		os2
src		src
test		test
win32		win32
.gitignore		.gitignore
LICENSE		LICENSE
Makefile.am		Makefile.am
README		README
acinclude.m4		acinclude.m4
bootstrap		bootstrap
configure.ac		configure.ac
install.html		install.html
splint.spec		splint.spec
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