Package description for 'splint'

C Syntax Checker - a successor to lint

 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. 

Various other information for package 'splint'   (Repository 'tschmidt')

URL: https://www.splint.org
Author: David Evans yevans@virginia.edu>

Maintainer: Tobias Schmidt <nazgul@uvip-media.de>

License: GPL
Status: Stable
Version: 3.1.1

Download: https://www.splint.org/downloads/ splint-3.1.1.src.tgz

Buildtime: 13791 (5) seconds (on reference hardware)
Buildtime: 13328 (9) seconds (on reference hardware)
Package Size: 2.28 MB, 62 files

Dependencies: 00-dirtree bash2 binutils bzip2 coreutils cvm diffutils findutils
Dependencies: flex flex:dev gawk gcc42 gcc42:dev glibc26 glibc26:dev grep
Dependencies: linux26-headers:dev ltrace m4 make mktemp net-tools sed sysfiles
Dependencies: tar twoftpd ucspi-unix util-linux xmame

ROCK Sources:  splint.cache,  splint.desc