{"id":105257,"date":"2022-10-06T15:36:38","date_gmt":"2022-10-06T13:36:38","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c"},"modified":"2022-10-06T15:36:38","modified_gmt":"2022-10-06T13:36:38","slug":"proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","status":"publish","type":"post","link":"https:\/\/prohoster.info\/hu\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Az LLVM projekt eszk\u00f6z\u00f6ket fejleszt a C++-ban a puffer biztons\u00e1gos kezel\u00e9s\u00e9re.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Az LLVM projekt fejleszt\u0151i sz\u00e1mos v\u00e1ltoztat\u00e1st javasoltak, melyek c\u00e9lja a C++ nyelven \u00edrt kritikus projektek biztons\u00e1g\u00e1nak fokoz\u00e1sa \u00e9s a puffer t\u00fall\u00e9p\u00e9s\u00e9b\u0151l ad\u00f3d\u00f3 hib\u00e1k kik\u00fcsz\u00f6b\u00f6l\u00e9s\u00e9re szolg\u00e1l\u00f3 eszk\u00f6z\u00f6k biztos\u00edt\u00e1sa. A munka k\u00e9t ir\u00e1nyra \u00f6sszpontos\u00edt: egy olyan fejleszt\u00e9si modell biztos\u00edt\u00e1s\u00e1ra, amely lehet\u0151v\u00e9 teszi a pufferrel val\u00f3 biztons\u00e1gos munkav\u00e9gz\u00e9st, \u00e9s a libc++ standard funkci\u00f3k\u00f6nyvt\u00e1r v\u00e9delm\u00e9nek fokoz\u00e1s\u00e1ra. <\/p>\n
A javasolt biztons\u00e1gos programoz\u00e1si modell C++-hoz a standard k\u00f6nyvt\u00e1r \u00e1ltal biztos\u00edtott oszt\u00e1lyok haszn\u00e1lat\u00e1t felt\u00e9telezi a pufferekkel val\u00f3 munka sor\u00e1n a nyers mutat\u00f3k manipul\u00e1l\u00e1s\u00e1val szemben. P\u00e9ld\u00e1ul javasolt a std::array, std::vector \u00e9s std::span oszt\u00e1lyok alkalmaz\u00e1sa, melyekbe beilleszt\u00e9sre ker\u00fcl a mem\u00f3ri\u00e1n t\u00fali hozz\u00e1f\u00e9r\u00e9sek fut\u00e1sid\u0151ben t\u00f6rt\u00e9n\u0151 ellen\u0151rz\u00e9se. <\/p>\n
A vesz\u00e9lyes programoz\u00e1si m\u00f3dszerek elleni k\u00fczdelem \u00e9rdek\u00e9ben a clang a ford\u00edt\u00f3 figyelmeztet\u00e9seit aj\u00e1nlja minden, pointerekkel v\u00e9gzett aritmetikai m\u0171velet eset\u00e9ben. Ezek a figyelmeztet\u00e9sek hasonl\u00f3ak a clang-tidy lintel\u0151 \u00e9szlel\u00e9seire, amelyeket a 'cppcoreguidelines-pro-bounds-pointer-arithmetic' z\u00e1szl\u00f3 haszn\u00e1latakor adnak ki, \u00e9s amelynek t\u00e1mogat\u00e1sa az LLVM 16 kiad\u00e1s\u00e1ban jelenik meg. A hasonl\u00f3 figyelmeztet\u00e9sek aktiv\u00e1l\u00e1s\u00e1hoz a clanghez egy k\u00fcl\u00f6n z\u00e1szl\u00f3 ker\u00fcl hozz\u00e1ad\u00e1sra, amely alap\u00e9rtelmezetten nem akt\u00edv. <\/p>\n
A libc++-ban terveznek egy opcion\u00e1lis meger\u0151s\u00edtett v\u00e9delmi m\u00f3dot megval\u00f3s\u00edtani, amelynek aktiv\u00e1l\u00e1sakor a fut\u00e1sid\u0151 alatt figyelni fogj\u00e1k azokat a helyzeteket, amelyek meghat\u00e1rozhatatlan viselked\u00e9shez vezetnek. P\u00e9ld\u00e1ul a std::span \u00e9s std::vector oszt\u00e1lyokban figyelni fogj\u00e1k a mem\u00f3ri\u00e1n t\u00fali hozz\u00e1f\u00e9r\u00e9seket, \u00e9s ha ilyen esetet \u00e9szlelnek, a program le\u00e1ll. A fejleszt\u0151k v\u00e9lem\u00e9nye szerint az ilyen v\u00e1ltoz\u00e1sok hozz\u00e1ad\u00e1sa meg\u0151rzi a libc++ megfelel\u0151s\u00e9g\u00e9t a C++ szabv\u00e1nyokkal, mivel a meghat\u00e1rozhatatlan viselked\u00e9s kezel\u00e9s\u00e9nek m\u00f3dja a k\u00f6nyvt\u00e1r fejleszt\u0151ihez tartozik, akik azt is \u00e9rtelmezhetik, hogy a meghat\u00e1rozhatatlan viselked\u00e9s hiba, ami a program le\u00e1ll\u00edt\u00e1s\u00e1t ig\u00e9nyli. <\/p>\n
A v\u00e9grehajt\u00e1si ellen\u0151rz\u00e9sek sor\u00e1n el\u0151\u00e1ll\u00edtott libc++-ban kateg\u00f3ri\u00e1kra tervezik bontani azokat, amelyeket k\u00fcl\u00f6n-k\u00fcl\u00f6n lehet majd bekapcsolni. Az egyes javasolt ellen\u0151rz\u00e9sek, amelyek nem bonyol\u00edtj\u00e1k a m\u0171veleteket vagy nem v\u00e1ltoztatj\u00e1k meg az ABI-t, m\u00e1r megval\u00f3sultak a libc++ biztons\u00e1gi m\u00f3dj\u00e1n (safe mode). <\/p>\n
Tov\u00e1bb\u00e1, eszk\u00f6z\u00f6ket terveznek k\u00e9sz\u00edteni a k\u00f3d korrig\u00e1l\u00e1s\u00e1ra, amely lehet\u0151v\u00e9 teszi a nyers pointerek helyettes\u00edt\u00e9s\u00e9t kont\u00e9nerekkel, \u00e9s alternat\u00edv kezel\u0151k alkalmaz\u00e1s\u00e1t olyan helyzetekben, amikor a kont\u00e9ner nem tudja k\u00f6zvetlen\u00fcl helyettes\u00edteni a pointert (p\u00e9ld\u00e1ul az 'if(array_pointer)' konstrukci\u00f3t \u00e1t lehet alak\u00edtani 'if(span.data())'-ra). A m\u00f3dos\u00edt\u00e1sokat nemcsak a lok\u00e1lis v\u00e1ltoz\u00f3kra, hanem a pointerekkel rendelkez\u0151 t\u00edpusparam\u00e9terekre is alkalmazni lehet. \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"