toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : splint  ]

Paquet : splint (1:3.1.2+dfsg-1)

Liens pour splint

Screenshot

Ressources Debian :

Télécharger le paquet source splint :

Responsable :

Ressources externes :

Paquets similaires :

tool for statically checking C programs for bugs

splint is an annotation-assisted lightweight static checker. It is a tool for statically checking C programs for security vulnerabilities and coding mistakes. If additional effort is invested in adding annotations to programs, splint can perform stronger checking.

splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code, ignored return values, execution paths with no return, likely infinite loops, and fall through cases. Problems detected by Splint include:

 * Dereferencing a possibly null pointer
 * Using or returning storage that is undefined or not properly defined
 * Type mismatches, with greater precision and flexibility than by C compilers
 * Memory management errors like use of dangling references and memory leaks
 * Inconsistent (with specified interface) global variable modification or use
 * Problematic control flow such as likely infinite loops etc.
 * Buffer overflow vulnerabilities
 * Dangerous macro implementations or invocations
 * Violations of customized naming conventions

Étiquettes: Développement de logiciel: Programmation C, Bibliothèques, Tests et assurance qualité, Mis en œuvre en: implemented-in::c, interface::commandline, Rôle: Bibliothèque de programmation, Programme, Champ d'application: scope::utility, security::TODO, But: Vérification, Fonctionne avec: Code source

Autres paquets associés à splint

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger splint

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 675,2 ko2 239,0 ko [liste des fichiers]
arm64 552,7 ko2 043,0 ko [liste des fichiers]
armel 552,9 ko1 977,0 ko [liste des fichiers]
armhf 560,3 ko1 589,0 ko [liste des fichiers]
i386 726,2 ko2 602,0 ko [liste des fichiers]
mips 591,3 ko2 732,0 ko [liste des fichiers]
mips64el 605,7 ko2 870,0 ko [liste des fichiers]
mipsel 603,4 ko2 732,0 ko [liste des fichiers]
ppc64el 604,6 ko2 523,0 ko [liste des fichiers]
s390x 610,9 ko2 439,0 ko [liste des fichiers]