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 15.fc6 x86_64 3.17 MiB Mon Sep 11 09:13:19 2006

Changelog

* Mon Sep 11 18:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-15
- Rebuild for FC6
* Wed May 31 18:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-14
- Add flex br
* 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).

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