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

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.

Name:	splint
Release:	3.1.2-2mamba
Architecture:	i586
Group:	Applications/Security
Size:	928.81 kB
Upstream URL:	http://lclint.cs.virginia.edu/
Source RPM:	splint

Brothers	Provides	Obsoletes	Requires	Recommends
	splint = 0:3.1.2-2mamba		libc.so.6(GLIBC_2.7) [1]

Provided files