Splint
From EDM2
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
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