- Name: splint
- Version: 3.1.1
- Release: 2mdv2007.0
- Epoch:
- Group: Development/C
- License: GPL
- Url: http://www.splint.org
- Summary: Splint - Secure Programming Lint
- Architecture: i586
- Size: 2545386
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Stefan van der Eijk <stefan@mandriva.org>
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.
- OptFlags: -O2 -g -pipe -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fomit-frame-pointer -march=i586 -mtune=pentiumpro -fasynchronous-unwind-tables
- Cookie: n1.mandriva.com 1129805632
- Buildhost: taz.eijk.nu
Other version of this rpm: