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

Repository navigation

splint

Public

forked from splintchecker/splint

About

Splint - annotation-assisted static program checker

0 stars

0 watching

Report repository

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

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages