[ Source: splint ]
Package: splint (3.1.1-6build1) [universe]
Links for splint
Ubuntu Resources:
Download Source Package splint:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Samuele Giovanni Tonon
It should generally not be necessary for users to contact the original maintainer.
Similar packages:
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.
Other Packages Related to splint
|
|
|
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- sug: splint-doc
- Documentation for splint: a tool for statically checking C programs for bugs
Download splint
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 855.4 kB | 2,736.0 kB | [list of files] |
| i386 | 790.0 kB | 2,604.0 kB | [list of files] |