1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Source: splint-doc
Section: doc
Priority: optional
Maintainer: Samuele Giovanni Tonon <samu@debian.org>
Build-Depends-Indep: debhelper (>> 4.0.0)
Standards-Version: 3.5.8
Package: splint-doc
Architecture: all
Depends: w3m | www-browser
Description: Documentation for splint: a tool for statically checking C programs for bugs
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.
This is the online manual available from the splint website.
|
