Splint - annotation-assisted static program checker Splint Documentation For documentation on Splint, please see https://www.splint.org.