GitHub - splintchecker/splint: Splint - annotation-assisted static program checker · GitHub

Name		Name	Last commit message	Last commit date
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.md		README.md
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

Splint Documentation

For documentation on Splint, please see https://www.splint.org.

About

Splint - annotation-assisted static program checker

Custom properties

334 stars

16 watching

Report repository

Releases

Packages

Used by

Contributors

Languages