Splint: Difference between revisions
mNo edit summary |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
A tool for static code analysis of [[C]] files, static analysers like these typically catch bugs that compilers miss. | 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 | *David Evans | ||
*OS/2 port | *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== | ==Publications== | ||
* [http://www.cs.virginia.edu/evans/talks/usenix.pdf Statically Detecting Likely Buffer Overflow Vulnerabilities] | * [http://www.cs.virginia.edu/evans/talks/usenix.pdf 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:Static code analysis]] | |||
Latest revision as of 18:02, 17 August 2021
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