Skip to content

Splint - annotation-assisted static program checker

License

Notifications You must be signed in to change notification settings

lqinggang/splint

 
 

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 97.8%
  • Makefile 1.8%
  • TypeScript 0.1%
  • M4 0.1%
  • Nextflow 0.1%
  • HTML 0.1%