A tool for statically checking C programs for security vulnerabilities.
It facilitates setting up and maintaining Gimpel’s PC-Lint source code.