[ Paquet source : splint ]
Paquet : splint (3.1.1-6build1) [universe]
Liens pour splint
Ressources Ubuntu :
Télécharger le paquet source splint :
Responsable :
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.
Paquets similaires :
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.
Autres paquets associés à splint
|
|
|
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
-
- sug: splint-doc
- Documentation for splint: a tool for statically checking C programs for bugs
Télécharger splint
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 855,4 ko | 2 736,0 ko | [liste des fichiers] |
| i386 | 790,0 ko | 2 604,0 ko | [liste des fichiers] |