Development/Tools

splint: An implementation of the lint program

Name:splint Vendor:Aurora SPARC Linux
Version:3.1.1 License:GPL
Release:15.al3 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: src

Download:splint-3.1.1-15.al3.src.rpm
Build Date:Mon Nov 6 21:46:12 2006
Packager:Aurora SPARC Linux <http://bugzilla.auroralinux.org>
Size:2.32 MiB

Changelog

* Mon Sep 11 17:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-15
- Rebuild for FC6
* Wed May 31 17:00:00 2006 Paul Nasrat <pnasrat{%}redhat{*}com> - 3.1.1-14
- Add flex br
* Thu Apr 20 17: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).

Listing created by RepoView-0.5.2-1.fc6