splintchecker / splint

Splint - annotation-assisted static program checker

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

License:Other


Languages

Language:C 97.7%Language:Makefile 1.8%Language:M4 0.2%Language:TypeScript 0.1%Language:Nextflow 0.1%Language:HTML 0.1%Language:Assembly 0.0%Language:Batchfile 0.0%Language:Pascal 0.0%Language:Shell 0.0%