Jump to letter: [ 4ABCDEFGHIJKLMNOPQRSTUVWXYZ ]

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.

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