Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. If effort is invested adding annotations to programs, Splint can perform stronger checking than is possible with traditional lints.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.