Splint
Splint is a
computer program that checks C programs. It is a modern version of
lint in
Unix.
The website of the tool says:
- Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
External Links