Topp Mjukvara För David Evans

Splint är ett verktyg för att statiskt kontrollera C-program för säkerhetsproblem och programmerings misstag.Splint gör många av de traditionella lint kontroller inklusive outnyttjade deklarationer, typ inkonsekvenser, användning före definition, onåbar...