splint
https://github.com/splintchecker/splint
C
Splint - annotation-assisted static program checker
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
C not yet supported2 Subscribers
Add a CodeTriage badge to splint
Help out
- Issues
- unable to /*@modifies @*/ function prototype without parameter name
- splint failed with double free
- Missing parameter name leads to endless loop
- 5 internal splint bugs found when running splint on my fork of gdb
- lcllib.c:86: possible missing comma ?
- Refactor splint.spec
- Remove leading space before comment in man page
- Allow splint to build with bison 3.7
- No ability to configure or make / make errors
- Treat array[1] as equivalent to pointer for purposes of -> operator
- Docs
- C not yet supported