/splint

Splint - annotation-assisted static program checker

Primary LanguageCOtherNOASSERTION

Splint - annotation-assisted static program checker

Splint Documentation

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