./devel/splint, Statically check C programs

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

Branch: pkgsrc-2019Q3, Version: 3.1.2, Package name: splint-3.1.2, 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: 0df489cb228dcfffb149b38c57614c2c3e200501
RMD160: 52e9786d3cbeaa437877a33b18e42b32dff3b96b
Filesize: 2230.501 KB

Version history: (Expand)