Jump to content

Splint

From EDM2
Revision as of 12:07, 16 November 2014 by Reiknir (talk | contribs) (Created page with "==Description== A tool for static code analysis of C files, static analysers like these tipically catch bugs that compilers miss. ==Version== '''* Latest Version''': 3....")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Description

A tool for static code analysis of C files, static analysers like these tipically catch bugs that compilers miss.


Version

* Latest Version: 3.1.2

Links

License

The source code is released under the MIT License while the binaries are release under the GNU GPL v2 License.

Author

Related Articles

Publications