Development/Tools

splint: An implementation of the lint program

Name:splint Vendor:CERN (http://cern.ch/linux)
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: x86_64

Download:splint-3.0.1.7-0.20030123.x86_64.rpm
Build Date:Thu Feb 5 05:10:01 2004
Packager:Jaroslaw Polok <jaroslaw{*}polok{%}cern{*}ch>
Size:3.31 MiB

Changelog

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

Listing created by RepoView-0.5.2