[ Quellcode: splint ]
Paket: splint (3.1.1-6build1) [universe]
Links für splint
Ubuntu-Ressourcen:
Quellcode-Paket splint herunterladen:
Betreuer:
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.
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu splint
|
|
|
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- sug: splint-doc
- Documentation for splint: a tool for statically checking C programs for bugs
splint herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 855,4 kB | 2.736,0 kB | [Liste der Dateien] |
| i386 | 790,0 kB | 2.604,0 kB | [Liste der Dateien] |