Cppcheck-projektet indsamler midler til forbedringer
Udvikleren af Cppcheck (Daniel Marjamäki) planlægger at tilføje muligheden for verifikation af software skrevet i C og C++ til sin statiske analysetjeneste. Verifikation af software i Cppcheck I 'verifikations' tilstand vil Cppcheck udsende en advarsel, hvis det ikke lykkes at bekræfte, at koden er sikker, men dette kan føre til støj (mange advarsler). Implementeringsplaner Verifikationsmodus vil blive implementeret trin for trin. I første fase vil arbejdet […]
