Väljalaskmine cppcheck 2.6, staatiline koodianalüsaator C++ ja C keelte jaoks

Ilmus uus versioon staatilisest koodianalüsaatorist cppcheck 2.6, mis võimaldab tuvastada erinevaid veaklasse C ja C++ keeles, sealhulgas mitte-standardsete süntaksite kasutamise korral, mis on iseloomulik sisseehitatud süsteemidele. Pakutakse pluginakogumit, mille kaudu on tagatud cppcheck integreerimine erinevate arendus-, pideva integreerimise ja testimise süsteemidega, samuti sellised võimalused nagu koodi vormindamisstiili kontrollimine. Koodi analüüsimiseks võib kasutada nii enda parserit kui ka välise Clangi parserit. Samuti on kaasas skript donate-cpu.py, et pakkuda kohalikke ressursse Debian paketihalduse koodi koostöökontrolli teostamiseks. Projekti lähtekoodid on levitatud GPLv3 litsentsi alusel.

Cppchecki areng keskendub probleemide tuvastamisele, mis on seotud määramatute käitumiste ja turvariskide konstruktsioonide kasutamisega. Eesmärgiks on ka valehäirete minimeerimine. Tuvastatavad probleemid hõlmavad: näitajaid, mis viitavad mitteeksisteerivatele objektidele, nulliga jagamisi, täisarvude ülevoolu, vale bitisiirdeoperatsiooni, vale tüüpide konversiooni, mälu kasutamisega seotud probleeme, STL-i vale kasutuse, nullindikaatorite dereferentseerimise, kontrollide tegemise pärast tegelikku juurdepääsu puhvri, puhvri piiridest väljajõudmise ja mitte-initsialiseeritud muutujate kasutamise.

Uues versioonis:

• Analüsaatori tuumale on lisatud järgmised kontrollid:
  • funktsiooni kehas puuduv return operaator;
  • katkestava andmete kirjutamise, määramatuse käitumise tuvastamine;
  • võrdlemine on väljaspool tüübi väärtuste esitamist;
  • return std::move(local) ei rakenda kopeerimise optimeerimist;
  • faili ei saa avada samaaegselt lugemiseks ja kirjutamiseks erinevates voogudes;
• Unix platvormidele on lisatud mitme värvi diagnostiliste sõnumite väljastamise tugi;
• lisatud sümboolne analüüs ValueFlow jaoks. Kasutatakse lihtsat delta kahe tundmatu muutuja erinevuste arvutamiseks;
• reeglid, mida kasutatakse tokenite nimekirjas "define", võivad samuti vastata #include-le;
• Raamatukogu silt võib nüüd sisaldada silda , ja vastavalt saavad funktsioonid free, mis võivad võtta selliseid konteineritena nagu std::size, std::empty, std::begin, std::end jne, näidata yeld või action konteineritele;
• Raamatukogu silt võib nüüd sisaldada silda nutikatele näitajatele, mis omavad ainulaadset valdust (unique ownership). Nüüd antakse hoiatust „rippuvate“ viidete kohta sellistele nutikatele näitajatele;
• Parandatud probleemid parameetri töötlemisega —cppcheck-build-dir;
• Htmlreport võib nüüd väljastada autori teavet (git blame'i abil);
• Keerukate muutuja hoiatuste väljundit on laiendatud, et need ei ole konstantsete, kuid võiksid olla;
• Parandatud kogunenud vead ja puudused analüsaatoris.

Lisaks on täielikult rakendatud kontrolle, mis põhinevad Misra C 2012-l, sealhulgas lisamised 1 ja 2, välja arvatud reeglid 1.1, 1.2 ja 17.3. Kontrollid 1.1 ja 1.2 tuleb täita kompilaatori poolt. Kontrolli 17.3 võib täita kompilaator, näiteks GCC.

Allikas: opennet.ru