https://github.com/splintchecker/splint

Splint - annotation-assisted static program checker
https://github.com/splintchecker/splint

Last synced: 5 months ago
JSON representation

Splint - annotation-assisted static program checker

• Host: GitHub
• URL: https://github.com/splintchecker/splint
• Owner: splintchecker
• License: other
• Created: 2012-10-10T18:45:25.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2024-03-13T11:24:05.000Z (about 1 year ago)
• Last Synced: 2024-10-14T04:08:43.299Z (6 months ago)
• Language: C
• Size: 14.3 MB
• Stars: 302
• Watchers: 19
• Forks: 76
• Open Issues: 17
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rainmana - splintchecker/splint - Splint - annotation-assisted static program checker (C)

README

        
## Splint - annotation-assisted static program checker

			 

### Splint Documentation

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