Cppcheck-en garatzaileak (Daniel MarjamΓ€ki) C eta C++-n softwarea egiaztatzeko gaitasuna gehituko dio bere analizatzaile estatikoari.
Softwarearen egiaztapena Cppcheck-en
"Egiaztapen" moduan, Cppcheck-ek abisua emango du ezin badu egiaztatu kodea segurua denik, baina horrek zarata sor dezake (abisu anitz).
Ezarpen-planak
Egiaztapen modua sekuentzialki ezarriko da. Lehenengo fasean, lana zero egiaztapenaren arabera banatzean zentratuko da. Egiaztapen nahiko sinplea da. Funtzio bakoitza bereizita probatuko da. Sarrerako datu guztiek balio arbitrarioa izan dezaketela suposatzen da. Definitu gabeko beste portaera mota batzuen egiaztapenak geroago gehituko dira. C eta C++ analisia hobetzeko planak ere badaude.
Garapena bizkortu
Kickstarter-en diru-bilketaren helburua egiaztapen moduaren garapena bizkortzea da. Dena den, eginbide hau gehitzeko asmoa dugu, baina baliteke lanak denbora gehiago behar izatea funtsak biltzen ez badira. Funtsak biltzen badira, Danielek bere lan nagusitik eszedentzia bat hartu ahal izango du, bere lan-denbora cppcheck proiektuari guztiz eskaintzeko.
Proiektuaren helburuak
-
C++ analizatzailea hobetzea.
Iturria: linux.org.ru