cppcheck 2.1 staatilise analüsaatorite väljaanne

Saadaval uus vabakujuline staatiline analüsaator cppcheck 2.1, mis võimaldab tuvastada erinevaid veaklasse C ja C++ keeles, sealhulgas mittestandardse süntaksi kasutamisel, mis on iseloomulik sisseehitatud süsteemidele. Pakutakse pluginate kogumit, mille kaudu on tagatud cppcheck'i integreerimine erinevate arendus-, pideva integreerimise ja testimise süsteemidega, samuti on saadaval sellised võimalused nagu kontrollimine koodi vormindamise stiili vastavuse osas. Koodi analüüsimiseks võib kasutada nii enda parserit kui ka Clang'i välist parserit. Samuti sisaldab see skripti donate-cpu.py kohalikest ressurssidest töö tegemiseks Debiani paketihaldurite koostöölise koodi kontrollimise jaoks. Projekti lähtekoodid levitatakse ja GPLv3 litsentsi alusel.

cppcheck'i arendamine keskendub probleemide tuvastamisele, mis on seotud määramatute käitumiste ja turvalisuse seisukohalt ohtlike konstruktsioonide kasutamisega. Eesmärgiks on ka vale tõendite minimeerimine. Tuvastatavate hulka kuuluvad probleemid: viidatud mitteeksisteerivatele objektidele, nulliga jagamine, täisarvude ülevoolud, vale bititaseme nihked, vale teisendamine, mäluprobleemid, vale STL-i kasutamine, nullviidete dereferentsimine, kontrollide tegemine pärast tegelikke mälukohtade kõnesid, mälukohtade ületamine, mitteinihaliseeritud muutujate kasutamine. Uus vabakujuline staatiline analüsaator on saadaval

Allikas: opennet.ru