ĂshtĂ« publikuar versioni i ri 2.7 i analizuesit statik tĂ« kodit cppcheck, i cili mundĂ«son zbulimin e klasave tĂ« ndryshme tĂ« gabimeve nĂ« kodin nĂ« gjuhĂ«t C dhe C++, pĂ«rfshirĂ« edhe rastet kur pĂ«rdoret sintaksĂ« jo standarde tipike pĂ«r sistemet embedded. Ofron njĂ« koleksion shtojcash pĂ«rmes tĂ« cilave sigurohet integrimi i cppcheck me sisteme tĂ« ndryshme zhvillimi, integrimi tĂ« vazhdueshĂ«m dhe testimi, si dhe funksione tĂ« tilla si verifikimi i pĂ«rputhshmĂ«risĂ« sĂ« kodit me stilin e pĂ«rcaktuar. PĂ«r pĂ«rpunimin e kodit mund tĂ« pĂ«rdoret si parser-i i vet, ashtu edhe parser-i i jashtĂ«m nga Clang. NĂ« paketĂ« pĂ«rfshihet edhe skripti donate-cpu.py pĂ«r vĂ«nien nĂ« dispozicion tĂ« burimeve lokale pĂ«r kryerjen e verifikimit tĂ« pĂ«rbashkĂ«t tĂ« kodit tĂ« paketave Debian. Kodi burimor i projektit shpĂ«rndahet nĂ«n licencĂ«n GPLv3.
Zhvillimi i cppcheck është përqendruar në zbulimin e problemeve që lidhen me sjelljen e papërcaktuar dhe përdorimin e konstrukteve të rrezikshme nga pikëpamja e sigurisë. Një tjetër qëllim është edhe minimizimi i alarmeve të rreme. Ndër problemet që zbulohen janë: tregues drejt objekteve që nuk ekzistojnë, pjesëtimi me zero, tejmbushjet e numrave të plotë, operacionet e pasakta të zhvendosjes bitore, konvertimet e pasakta, problemet në punën me memorien, përdorimi i pasaktë i STL, dereferencimi i treguesve null, përdorimi i kontrolleve pas qasjes faktike në buffer, dalja jashtë kufijve të buffer-it dhe përdorimi i variablave të painicializuara.
Paralelisht, kompania suedeze Cppcheck Solutions AB zhvillon versionin e zgjeruar Cppcheck Premium, i cili ofron analizë për praninë e cikleve të pafundme, zbulim të përmirësuar të variablave të painicializuara dhe analizë më të avancuar të tejmbushjes së buffer-it.
NĂ« versionin e ri:
- ĂshtĂ« shtuar mbĂ«shtetja pĂ«r view tĂ« konteinerĂ«ve â te tag-u i bibliotekĂ«s Ă«shtĂ« shtuar atributi view, qĂ« tregon se klasa Ă«shtĂ« njĂ« view. Kodi i analizĂ«s sĂ« jetĂ«gjatĂ«sisĂ« Ă«shtĂ« pĂ«rditĂ«suar pĂ«r tĂ« pĂ«rdorur kĂ«tĂ« atribut gjatĂ« kĂ«rkimit tĂ« konteinerĂ«ve âtĂ« varurâ;
- Janë përmirësuar kontrollet;
- Janë korrigjuar gabimet e grumbulluara dhe janë zgjidhur mangësitë e analizuesit.
Burimi: opennet.ru
