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.
Packages
| Name |
Version |
Release |
Type |
Size |
Built |
| splint |
3.1.1 |
13.fc5 |
src |
2.32 MiB |
Fri Apr 21 11:25:56 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