[repositories] devel: [groups] [packages] [maintainers] [changelog]

 splint: A tool for statically checking C programs for vulnerabilities and coding mistakes (source)

Name:splint
Release:3.1.2-2mamba
Group:Applications/Security
Maintainer:aleph0
Description:Splint (Secure Programming Lint) 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.
License:GPL
Size:2.18 MB
Download:splint-3.1.2-2mamba.src.rpm
URL:http://lclint.cs.virginia.edu/
Specfile:splint.spec
Sources:splint-3.1.2.src.tgz
Build time:Thu Aug 22 2013
Built RPMS:splint(i586)
Build requirements:
Changelog:Thu Aug 22 2013 - autodist (3.1.2-2mamba)
- automatic rebuild by autodist

[repositories] devel: [groups] [packages] [maintainers] [changelog]

Automatically generated by distromatic.