Development Tools

splint: An implementation of the lint program

Name:splint Vendor:Red Hat, Inc.
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:Fri Jan 24 14:18:17 2003
Packager:Red Hat, Inc. <http://bugzilla.redhat.com/bugzilla>
Size:3.16 MiB

Changelog

* Thu Jan 23 16:00:00 2003 Tim Powers <timp{%}redhat{*}com> 3.0.1.7-0.20030123
- rebuild
* Mon Nov 11 16: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 17:00:00 2002 Tim Powers <timp{%}redhat{*}com>
- automated rebuild

Listing created by RepoView-0.5