{"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\/sl\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Izdaja cppcheck 2.6, stati\u010dnega analizatorja kode za jezike C++ in C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Iz\u0161la je nova razli\u010dica stati\u010dnega analizadorja kode cppcheck 2.6, ki omogo\u010da odkrivanje razli\u010dnih vrst napak v kodi v jezikih C in C++, tudi pri uporabi nestandardne sintakse, tipi\u010dne za vgrajene sisteme. Na voljo je zbirka vti\u010dnikov, prek katerih je omogo\u010dena integracija cppcheck z razli\u010dnimi razvojnimi sistemi, sistemi nenehne integracije in testiranja, prav tako pa so na voljo tak\u0161ne mo\u017enosti, kot je preverjanje skladnosti kode s stilom oblikovanja kode. Za raz\u010dlenitev kode se lahko uporablja tako lastni parser kot zunanji parser od Clang. V njem je tudi skript donate-cpu.py za zagotavljanje lokalnih virov za izvedbo skupne analize kode paketov Debian. Izvorne kode projekta se distribuirajo pod licenco GPLv3. <\/p>\n
Razvoj cppchecka je osredoto\u010den na odkrivanje te\u017eav, povezanih z nedolo\u010denim vedenjem in uporabo konstrukcij, ki so nevarne z vidika varnosti. Cilj je tudi minimizacija la\u017enih opozoril. Med odkritimi te\u017eavami so: kazalci na neobstoje\u010de objekte, delitev z ni\u010d, celo\u0161tevilski preliv, nepravilne operacije bitnega premika, nepravilne pretvorbe, te\u017eave pri ravnanju z pomnilnikom, nepravilna uporaba STL, dereferenciranje ni\u010delnih kazalcev, uporaba preverjanj po dejanskem dostopu do pomnilnika, izhod iz meja pomnilnikov, uporaba neinicijaliziranih spremenljivk. <\/p>\n
V novi razli\u010dici: <\/p>\n
\n
V jedro analizadorja so dodane naslednje preveritve:\n
\n
manjkanje operatorja return v telesu funkcije;\n
zapis prekrivajo\u010dih se podatkov, ugotavljanje nedolo\u010denega vedenja;\n
primerjalna vrednost je izven reprezentacije vrednosti tipa;\n
optimizacija kopiranja se ne uporablja za return std::move(local);\n
datoteka ne more biti odprta hkrati za branje in pisanje v razli\u010dnih tokovih; <\/ul>\n
za Unix platforme je bila dodana podpora za izhod diagnosti\u010dnih sporo\u010dil v razli\u010dnih barvah;\n
dodana je bila simbolna analiza za ValueFlow. Uporablja se preprosta delta pri izra\u010dunu razlik med dvema neznanima spremenljivkama;\n
pravila uporabljena za seznam tokenov «define» lahko ustrezajo tudi #include;\n
Knji\u017eni\u010dni tag zdaj lahko vsebuje tag , kar pomeni, da lahko funkcije free, ki sprejemajo tak\u0161ne kontejnere, kot so std::size, std::empty, std::begin, std::end itd., ozna\u010dijo yeld ali action za kontejnere;\n
knji\u017eni\u010dni tag <smart-pointer> zdaj lahko vsebuje tag <unique> za pametne kazalce, ki imajo edinstveno lastni\u0161tvo (unique ownership). Zdaj se prika\u017ee opozorilo o «visi» referencah na tovrstne pametne kazalce;\n
odpravljene te\u017eave z obdelavo parametra —cppcheck-build-dir;\n
htmlreport zdaj lahko izpi\u0161e informacije o avtorju (s pomo\u010djo git blame);\n
Raz\u0161irjena je bila izdaja opozoril o spremenljivkah, ki niso konstantne, vendar bi lahko bile;\n
Odpravljene so bile nabran\u00e9 napake in nedodelane funkcionalnosti analizatorja. <\/ul>\n