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

[[Category:C]]