Package splint: Information
Source package: splint
Version: 3.1.2-alt2
Build time: Jul 29, 2008, 04:51 AM
Category: Development/C
Report package bugHome page: http://www.splint.org
License: GPLv2+
Summary: Secure Programming Lint - annotation-assisted static program checker
Description:
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
Maintainer: Slava Semushin
Last changed
July 29, 2008 Slava Semushin 3.1.2-alt2
- Added Packager tag (noted by repocop) - More proper License tag - Removed trailing space from %description
Jan. 2, 2008 Slava Semushin 3.1.2-alt1
- Bump release and move package to Sisyphus
Aug. 26, 2007 Slava Semushin 3.1.2-alt0
- Updated to 3.1.2 version