2
Splint est un outil de vérification statique des programmes C pour les failles de sécurité et les erreurs de codage.Avec un effort minimal, Splint peut être utilisé comme une meilleure charpie.Si des efforts supplémentaires sont investis pour ajouter des annotations aux programmes, Splint peut effectuer une vérification plus forte que n'importe quel peluche standard.
Site Internet:
http://splint.org/Les catégories
