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.

Nome:	splint
Versione:	3.1.2-2mamba
Architettura:	i586
Gruppo:	Applications/Security
Dimensione:	928.81 kB
URL di origine:	http://lclint.cs.virginia.edu/
RPM sorgente:	splint

Collegati	Fornisce	Rende obsoleti	Richiede	Raccomanda
	splint = 0:3.1.2-2mamba		libc.so.6(GLIBC_2.7) [1]

File forniti