Splint 3.1.1
Splint est un outil pour la vérification statique des programmes C de failles de sécurité et les erreurs de programmation.Splint fait un grand nombre de contrôles de peluches traditionnelles, y compris les déclarations inutilisés, les incohérences de...