Cppcheckin kehittäjä (Daniel Marjamäki) aikoo lisätä staattiseen analysaattoriinsa mahdollisuuden C- ja C++-ohjelmistojen varmentamiseen.
Ohjelmiston vahvistus Cppcheckissä
"Vahvistus"-tilassa Cppcheck antaa varoituksen, jos se ei pysty varmistamaan, että koodi on turvallinen, mutta tämä voi aiheuttaa kohinaa (useita varoituksia).
Toteutussuunnitelmat
Vahvistustila otetaan käyttöön peräkkäin. Ensimmäisessä vaiheessa työ keskittyy nollatarkastuksella jakoon. Tämä on suhteellisen yksinkertainen tarkistus. Jokainen toiminto testataan erikseen. Oletetaan, että kaikilla tulotiedoilla voi olla mielivaltainen arvo. Tarkistukset muuntyyppisten määrittelemättömien toimintojen varalta lisätään myöhemmin. Suunnitelmissa on myös parantaa C- ja C++-jäsennystä.
Kehityksen kiihtyvyys
Kickstarterin varainkeruun tavoitteena on nopeuttaa varmennustilan kehitystä. Aiomme lisätä tämän ominaisuuden joka tapauksessa, mutta työ voi kestää kauemmin, jos varoja ei kerätä. Jos varat kerätään, Daniel voi pitää virkavapaata päätyöstään voidakseen omistaa työaikansa täysin cppcheck-projektille.
Projektin tavoitteet
-
C++-jäsentimen parannus.
Lähde: linux.org.ru