{"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\/hu\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"cppcheck 2.6 kiad\u00e1sa, statikus k\u00f3delemz\u0151 C++ \u00e9s C nyelvekhez","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Megjelent a cppcheck 2.6 verzi\u00f3ja, amely egy statikus k\u00f3danaliz\u00e1l\u00f3, \u00e9s k\u00e9pes k\u00fcl\u00f6nb\u00f6z\u0151 hibaoszt\u00e1lyokat kimutatni C \u00e9s C++ nyelveken, bele\u00e9rtve a be\u00e1gyazott rendszerekre jellemz\u0151 nem szabv\u00e1nyos szintaxist is. K\u00edn\u00e1l egy plugin gy\u0171jtem\u00e9nyt, amelyen kereszt\u00fcl integr\u00e1lhat\u00f3 a cppcheck k\u00fcl\u00f6nb\u00f6z\u0151 fejleszt\u00e9si, folyamatos integr\u00e1ci\u00f3s \u00e9s tesztel\u00e9si rendszerekbe, valamint lehet\u0151s\u00e9geket biztos\u00edt a k\u00f3d st\u00edlusk\u00f6vetelm\u00e9nyekhez val\u00f3 illeszked\u00e9s\u00e9nek ellen\u0151rz\u00e9s\u00e9re. A k\u00f3d elemz\u00e9s\u00e9re haszn\u00e1lhat\u00f3 saj\u00e1t parser, illetve a Clang k\u00fcls\u0151 parsera is. Tartalmaz egy donate-cpu.py szkriptet, amely helyi er\u0151forr\u00e1sok ny\u00fajt\u00e1s\u00e1ra szolg\u00e1l a Debian csomagok k\u00f6z\u00f6s k\u00f3dellen\u0151rz\u00e9s\u00e9hez. A projekt forr\u00e1sk\u00f3dja GPLv3 licenc alatt \u00e9rhet\u0151 el. <\/p>\n
A cppcheck fejleszt\u00e9se a bizonytalan viselked\u00e9sb\u0151l \u00e9s a biztons\u00e1gi szempontb\u00f3l vesz\u00e9lyes konstrukci\u00f3k alkalmaz\u00e1s\u00e1b\u00f3l ered\u0151 probl\u00e9m\u00e1k azonos\u00edt\u00e1s\u00e1ra \u00f6sszpontos\u00edt. C\u00e9lja a hamis riaszt\u00e1sok minimaliz\u00e1l\u00e1sa is. Az \u00e9szlelt probl\u00e9m\u00e1k k\u00f6z\u00f6tt szerepelnek: nem l\u00e9tez\u0151 objektumokra mutat\u00f3 mutat\u00f3k, null\u00e1val val\u00f3 oszt\u00e1s, eg\u00e9sz sz\u00e1mok t\u00falcsordul\u00e1sa, hib\u00e1s biteltol\u00e1si m\u0171veletek, helytelen \u00e1talak\u00edt\u00e1sok, mem\u00f3riahaszn\u00e1lati probl\u00e9m\u00e1k, a STL helytelen haszn\u00e1lata, null mutat\u00f3k derefer\u00e1l\u00e1sa, ellen\u0151rz\u00e9sek v\u00e9grehajt\u00e1sa a puffer t\u00e9nyleges el\u00e9r\u00e9se ut\u00e1n, pufferhat\u00e1rok t\u00fall\u00e9p\u00e9se, inicializ\u00e1latlan v\u00e1ltoz\u00f3k haszn\u00e1lata. <\/p>\n
Az \u00faj verzi\u00f3ban: <\/p>\n
\n
Az elemz\u0151 magj\u00e1ba a k\u00f6vetkez\u0151 ellen\u0151rz\u00e9sek ker\u00fcltek bevezet\u00e9sre:\n
\n
return oper\u00e1tor hi\u00e1nya a f\u00fcggv\u00e9ny t\u00f6rzs\u00e9ben;\n
\u00e1tfed\u0151 adatok \u00edr\u00e1sa, hat\u00e1rozatlan viselked\u00e9s meg\u00e1llap\u00edt\u00e1sa;\n
az \u00f6sszehasonl\u00edtott \u00e9rt\u00e9k a t\u00edpus \u00e9rt\u00e9keinek hat\u00e1rain k\u00edv\u00fcl tal\u00e1lhat\u00f3;\n
a m\u00e1sol\u00e1s optimaliz\u00e1l\u00e1sa nem alkalmazhat\u00f3 a return std::move(local); eset\u00e9n;\n
hozz\u00e1adva a szimbolikus elemz\u00e9s a ValueFlow sz\u00e1m\u00e1ra. Egyszer\u0171 delta haszn\u00e1lata a k\u00e9t ismeretlen v\u00e1ltoz\u00f3 k\u00f6z\u00f6tti k\u00fcl\u00f6nbs\u00e9gek kisz\u00e1m\u00edt\u00e1sakor;\n
A «define» token list used rules can also apply to #include;\n
A k\u00f6nyvt\u00e1ri c\u00edmke most m\u00e1r tartalmazhat c\u00edmk\u00e9t, \u00e9s ennek megfelel\u0151en a free f\u00fcggv\u00e9nyek, amelyek ilyen tart\u00e1lyokat, mint a std::size, std::empty, std::begin, std::end stb. fogadhatnak el, yeld vagy action-t jel\u00f6lhetnek meg a tart\u00e1lyok sz\u00e1m\u00e1ra;\n
A library tag <smart-pointer> can now include a tag <unique> for smart pointers that have unique ownership. A warning is now issued regarding «dangling» references to such smart pointers;\n
Issues with processing the parameter —cppcheck-build-dir; have been fixed;\n
Az htmlreport most k\u00e9pes megjelen\u00edteni a szerz\u0151 inform\u00e1ci\u00f3j\u00e1t (git blame seg\u00edts\u00e9g\u00e9vel);\n
Kiterjesztett\u00e9k a figyelmeztet\u00e9sek kibocs\u00e1t\u00e1s\u00e1t az olyan v\u00e1ltoz\u00f3kra, amelyek nem \u00e1lland\u00f3k, de azok lehettek volna;\n
Jav\u00edtott\u00e1k a felhalmoz\u00f3dott hib\u00e1kat \u00e9s hi\u00e1nyoss\u00e1gokat az elemz\u0151ben. <\/ul>\n
Tov\u00e1bbiakban teljesen megval\u00f3s\u00edtott\u00e1k a Misra C 2012 ellen\u0151rz\u00e9seit, bele\u00e9rtve az 1. \u00e9s 2. m\u00f3dos\u00edt\u00e1st, kiv\u00e9ve az 1.1, 1.2 \u00e9s 17.3 szab\u00e1lyokat. Az 1.1 \u00e9s 1.2 ellen\u0151rz\u00e9seket a ford\u00edt\u00f3nak kell v\u00e9grehajtania. A 17.3 ellen\u0151rz\u00e9st p\u00e9ld\u00e1ul a GCC ford\u00edt\u00f3ja is elv\u00e9gezheti. \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"