Group :: Development/C
RPM: splint
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 3.1.2-alt2.qa1
Build date: 15 april 2013, 01:13 ( 574.7 weeks ago )
Size: 2.86 Mb
Home page: http://www.splint.org
License: GPLv2+
Summary: Secure Programming Lint - annotation-assisted static program checker
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 15 april 2013, 01:13 ( 574.7 weeks ago )
Size: 2.86 Mb
Home 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.
Current maintainer: Slava Semushin 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 contributors List of rpms provided by this srpm:
- splint
- splint-debuginfo