Splint

From EDM2
Revision as of 21:04, 29 January 2017 by Ak120 (Talk | contribs)

Jump to: navigation, search

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