Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. If effort is invested adding annotations to programs, Splint can perform stronger checking than is possible with traditional lints.
Project Admins:
drl7x, evans1629, petdance
Operating System:
(None Listed)
License:
(None Listed)
Category:
(None Listed)
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
(No news at the current time)