Development/Tools

Jump to letter: [ 4ABCDEFGHIJKLMNOPQRSTUVWXYZ ]

splint: An implementation of the lint program

Name:splint Vendor:Fermi
Version:3.0.1.7 License:GPL
Release:0.20030123 URL:http://www.splint.org/
Summary
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.

Arch: i386

Download:splint-3.0.1.7-0.20030123.i386.rpm
Build Date:Wed Jun 2 20:03:06 2004
Packager:
Size:3.16 MiB

Changelog

* Thu Jan 23 18:00:00 2003 Tim Powers <timp{%}redhat{*}com> 3.0.1.7-0.20030123
- rebuild
* Mon Nov 11 18:00:00 2002 Jeff Johnson <jbj{%}redhat{*}com> 3.0.1.6-4
- rebuild from cvs.
- update to 3.0.1.7 snapshot.
- avoid non-i386 horkage for now.
* Thu May 23 19:00:00 2002 Tim Powers <timp{%}redhat{*}com>
- automated rebuild

Listing created by RepoView-0.5.2