Cppcheck-prosjektet samler inn midler for å implementere forbedringer.

Utvikleren av Cppcheck (Daniel Marjamäki) kommer til å legge til muligheten til å verifisere programvare i C og C++ til sin statiske analysator.

Programvareverifisering i Cppcheck

I "verifiseringsmodus" vil Cppcheck gi en advarsel hvis den ikke kan bekrefte at koden er trygg, men dette kan resultere i støy (flere advarsler).

Gjennomføringsplaner

Verifikasjonsmodusen vil bli implementert sekvensielt. I det første trinnet vil arbeidet konsentreres om deling ved nullsjekk. Dette er en relativt enkel sjekk. Hver funksjon vil bli testet separat. Det antas at alle inndata kan ha en vilkårlig verdi. Sjekker for andre typer udefinert atferd vil bli lagt til senere. Det er også planer om å forbedre C- og C++-parsing.

Få fart på utviklingen

Målet med pengeinnsamling på Kickstarter er å akselerere utviklingen av verifiseringsmodusen. Vi planlegger å legge til denne funksjonen uansett, men arbeidet kan ta lengre tid hvis det ikke samles inn penger. Dersom midlene samles inn, vil Daniel kunne ta permisjon fra hovedjobben for å vie arbeidstiden fullt ut til cppcheck-prosjektet.

Prosjektmål

• Eliminering av falske negativer fra divisjon med null tester i Juliet и ITC.

• Korrigering av falske positiver (se. BUG#9402).

• Forbedring av C++-parseren.

Kilde: linux.org.ru