Package splint

Binary package: splint
Version: 3.1.2-alt2
Architecture: x86_64
Build time:  Jul 29, 2008, 04:50 AM
Source package: splint
Category: Development/C
Report package bug
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
List of contributors: 
Slava Semushin
Dmitry V. Levin
Last changes:
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

Back to Top