Package splint: Information
Source package: splint
Version: 3.1.2-alt2.qa1
Build time: Jun 28, 2021, 11:42 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.
List of RPM packages built from this SRPM:
splint (x86_64, ppc64le, i586, aarch64)
splint-debuginfo (x86_64, ppc64le, i586, aarch64)
splint (x86_64, ppc64le, i586, aarch64)
splint-debuginfo (x86_64, ppc64le, i586, aarch64)
Maintainer: Slava Semushin
ACL:
@core
@qa
@everybody
@core
@qa
@everybody
Last changed
April 15, 2013 Dmitry V. Levin 3.1.2-alt2.qa1
- NMU: rebuilt for debuginfo.
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