Development Tools

splint - An implementation of the lint program

Splint is a tool for statically checking C programs for coding errors and
security vulnerabilities. With minimal effort, Splint can be used as a
better lint. If additional effort is invested adding annotations to programs,
Splint can perform even stronger checks than can be done by any standard lint.
License:GPL Group:Development Tools
URL:http://www.splint.org/ Source: splint

Packages

Name Version Release Type Size Built
splint 3.1.1 13.fc5 i386 3.19 MiB Fri Apr 21 11:23:40 2006

Changelog

* Thu Apr 20 18:00:00 2006 Jose Pedro Oliveira <jpo at di.uminho.pt> - 3.1.1-13
- Manual.pdf - file permissions corrected.
- Included a demo .splintrc file as doc (splintrc.demo == src/.splintrc).
* Mon Feb 13 17:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-12
- FC5 rebuild for new gcc
* Sun Jan 15 17:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-11
- Rebuild for FC5

Listing created by RepoView-0.5.2-1.fc6 (modified)