./devel/splint, Statically check C programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2008Q2, Version: 3.1.1nb1, Package name: splint-3.1.1nb1, Maintainer: pkgsrc-users

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.

Splint 3.0 is the successor to LCLint 2.5.

Master sites:

SHA1: 1192e8f18e8ef63fdc7a0b0fa26c35b46d59e4e6
RMD160: 8a0d04b20ccdfd50f99e3ef6abd59e7b25814912
Filesize: 2368.27 KB

Version history: (Expand)