{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"V\u00e4ljalaskmine cppcheck 2.6, staatiline koodianal\u00fcsaator C++ ja C keelte jaoks","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Ilmus uus versioon staatilisest koodianal\u00fcsaatorist cppcheck 2.6, mis v\u00f5imaldab tuvastada erinevaid veaklasse C ja C++ keeles, sealhulgas mitte-standardsete s\u00fcntaksite kasutamise korral, mis on iseloomulik sisseehitatud s\u00fcsteemidele. Pakutakse pluginakogumit, mille kaudu on tagatud cppcheck integreerimine erinevate arendus-, pideva integreerimise ja testimise s\u00fcsteemidega, samuti sellised v\u00f5imalused nagu koodi vormindamisstiili kontrollimine. Koodi anal\u00fc\u00fcsimiseks v\u00f5ib kasutada nii enda parserit kui ka v\u00e4lise Clangi parserit. Samuti on kaasas skript donate-cpu.py, et pakkuda kohalikke ressursse Debian paketihalduse koodi koost\u00f6\u00f6kontrolli teostamiseks. Projekti l\u00e4htekoodid on levitatud GPLv3 litsentsi alusel. <\/p>\n
Cppchecki areng keskendub probleemide tuvastamisele, mis on seotud m\u00e4\u00e4ramatute k\u00e4itumiste ja turvariskide konstruktsioonide kasutamisega. Eesm\u00e4rgiks on ka valeh\u00e4irete minimeerimine. Tuvastatavad probleemid h\u00f5lmavad: n\u00e4itajaid, mis viitavad mitteeksisteerivatele objektidele, nulliga jagamisi, t\u00e4isarvude \u00fclevoolu, vale bitisiirdeoperatsiooni, vale t\u00fc\u00fcpide konversiooni, m\u00e4lu kasutamisega seotud probleeme, STL-i vale kasutuse, nullindikaatorite dereferentseerimise, kontrollide tegemise p\u00e4rast tegelikku juurdep\u00e4\u00e4su puhvri, puhvri piiridest v\u00e4ljaj\u00f5udmise ja mitte-initsialiseeritud muutujate kasutamise. <\/p>\n
Uues versioonis: <\/p>\n
\n
Anal\u00fcsaatori tuumale on lisatud j\u00e4rgmised kontrollid:\n
\n
funktsiooni kehas puuduv return operaator;\n
katkestava andmete kirjutamise, m\u00e4\u00e4ramatuse k\u00e4itumise tuvastamine;\n
v\u00f5rdlemine on v\u00e4ljaspool t\u00fc\u00fcbi v\u00e4\u00e4rtuste esitamist;\n
return std::move(local) ei rakenda kopeerimise optimeerimist;\n
faili ei saa avada samaaegselt lugemiseks ja kirjutamiseks erinevates voogudes; <\/ul>\n
Unix platvormidele on lisatud mitme v\u00e4rvi diagnostiliste s\u00f5numite v\u00e4ljastamise tugi;\n
lisatud s\u00fcmboolne anal\u00fc\u00fcs ValueFlow jaoks. Kasutatakse lihtsat delta kahe tundmatu muutuja erinevuste arvutamiseks;\n
reeglid, mida kasutatakse tokenite nimekirja jaoks, v\u00f5ivad samuti kehtida #include;\n
Raamatukogu silt v\u00f5ib n\u00fc\u00fcd sisaldada silda , ja vastavalt saavad funktsioonid free, mis v\u00f5ivad v\u00f5tta selliseid konteineritena nagu std::size, std::empty, std::begin, std::end jne, n\u00e4idata yeld v\u00f5i action konteineritele;\n
raamatukogu silt v\u00f5ib n\u00fc\u00fcd sisaldada sildi nutikate n\u00e4idikute jaoks, millel on ainulaadne omand (unique ownership). N\u00fc\u00fcd antakse hoiatus 'ripuvad' viidatud nutikate n\u00e4idikute kohta;\n