Jump to content

Splint: Difference between revisions

From EDM2
Ak120 (talk | contribs)
mNo edit summary
Ak120 (talk | contribs)
mNo edit summary
 
Line 18: Line 18:
*OS/2 binaries: http://www.the-little-red-haired-girl.org/pub/splint/index.html
*OS/2 binaries: http://www.the-little-red-haired-girl.org/pub/splint/index.html


[[Category:C]]
[[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