Main Page
|
See live article
|
Alphabetical index
SPlint
Secure Programming Lint
is a
software tool
for statically checking C programs for security vulnerabilities and coding mistakes.
External links
Home page
Publications about checking techniques