🥇Cppcheck-prosjektet samler inn midler for å implementere forbedringer

Cppcheck-utviklaren (Daniel Marjamäki) planlegger å legge til muligheten for programvareverifisering på C og C++ i sin statiske analyserer.

Programvareverifisering i Cppcheck

I «verifiseringsmodus» vil Cppcheck gi advarsler hvis det ikke er mulig å bekrefte at koden er sikker, men dette kan føre til støy (flere advarsler).

Implementeringsplaner

Verifiseringsmodusen vil bli implementert gradvis. I første fase vil arbeidet bli konsentrert om å sjekke «deling med null». Dette er en relativt enkel sjekk. Hver funksjon vil bli sjekket separat. Det antas at alle inndata kan ha vilkårlige verdier. Sjekker av andre typer ubestemt oppførsel vil bli lagt til senere. Det er også planer om å forbedre syntaksanalysen for C og C++.

Akselerasjon av utviklingen

Målet med crowdfunding-kampanjen på Kickstarter er å akselerere utviklingen av verifiseringsmodus. Denne muligheten er planlagt å bli lagt til uansett, men arbeidet kan ta lengre tid hvis midlene ikke nås. Hvis midlene oppnås, kan Daniel ta fri fra hovedjobben sin for å dedikere all arbeidstiden sin til prosjektet cppcheck.