Jump to letter: [ 9ABCDEFGHIJKLMNOPQRSTUVWXYZ ]

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:	Packages not in Groups
URL:	http://www.splint.org/	Source:	splint

Packages

Name	Version	Release	Type	Size	Built
splint	3.1.1	13.fc4	i386	3.15 MiB	Fri Apr 21 11:27:43 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)