Splint

A tool for static code analysis of C files, static analysers like these typically catch bugs that compilers miss.

Version

• 2007: 3.1.2

Author

• David Evans
• Herbert Martin Dietze (OS/2 port)

License

The source code is released under the MIT License while the binaries are release under the GNU GPL v2 License.

Publications

• Statically Detecting Likely Buffer Overflow Vulnerabilities

Links

• Official Web Site: http://www.splint.org/download.html
• CVS: http://sourceforge.net/projects/splint/
• OS/2 binaries: http://www.the-little-red-haired-girl.org/pub/splint/index.html