Group :: Development/C
RPM: splint
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 3.1.1-alt2
Build date: 12 september 2003, 16:02 ( 1077.0 weeks ago )
Size: 3.04 Mb
Home page: http://www.splint.org
License: GPL
Summary: Secure Programming Lint - annotation-assisted static program checker
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 12 september 2003, 16:02 ( 1077.0 weeks ago )
Size: 3.04 Mb
Home page: http://www.splint.org
License: GPL
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: Dmitry V. Levin 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