{"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\/et\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"LLVM projekt arendab C++ bufeerite turvalise t\u00f6\u00f6tluse vahendeid","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
LLVM projekti arendajad on ette pannud mitmeid muudatusi, mille eesm\u00e4rk on suurendada C++ keeles kriitiliste projektide turvalisust ja pakkuda vahendeid, et v\u00e4ltida m\u00e4lupiire \u00fcletavatest vigadest p\u00f5hjustatud probleeme. T\u00f6\u00f6 keskendub kahele suunale: arendusmudeli pakkumine, mis v\u00f5imaldab turvaliselt t\u00f6\u00f6tada m\u00e4lupuhvriga, ja standardse libc++ funktsioonide teegi kaitse tugevdamine. <\/p>\n
C++ jaoks pakutav turvalise programmeerimise mudel eeldab standardse teegi pakutavate klasside kasutamist puhverdatud andmete t\u00f6\u00f6tlemiseks, selle asemel et manipuleerida toorete pointeritega. N\u00e4iteks soovitatakse kasutada klasse std::array, std::vector ja std::span, millele lisatakse jooksva kontrollimise k\u00e4igus m\u00e4lu piire \u00fcletava juurdep\u00e4\u00e4su kontroll. <\/p>\n
Ohutuse tugevdamiseks clangis soovitatakse esitada kompilaatori hoiatusi k\u00f5igi pointerite aritmeetika toimingute puhul, sarnaseid clang-tidy linter'i hoiatusetele, mis tulevad esile, kui kasutatakse lippu «cppcoreguidelines-pro-bounds-pointer-arithmetic», mille tugi lisatakse LLVM 16 versioonis. Selliste hoiatuste lubamiseks lisatakse clangile eraldi lipp, mis ei ole vaikimisi aktiveeritud. <\/p>\n
Libc++ kavas on rakendada valikulist tugevdatud kaitse re\u017eiimi, mille aktiveerimisel tuvastatakse m\u00f5ned olukorrad, mis p\u00f5hjustavad m\u00e4\u00e4ramatut k\u00e4itumist. N\u00e4iteks j\u00e4lgitakse klassides std::span ja std::vector, kas juurdep\u00e4\u00e4s \u00fcletab eraldi eraldatud m\u00e4lu, ja kui see on t\u00f5endatud, l\u00f5petatakse programm h\u00e4daseisundis. Arendajad usuvad, et sarnaste muudatuste lisamine s\u00e4ilitab libc++ vastavuse C++ standarditele, kuna m\u00e4\u00e4ramatute olukordade t\u00f6\u00f6tlemise meetodi valik lasub raamatukogu arendajate \u00f5lul, kes v\u00f5ivad t\u00f5lgendada m\u00e4\u00e4ramatut k\u00e4itumist ka kui t\u00f5rget, mis n\u00f5uab programmi l\u00f5petamist. <\/p>\n
Libc++ ajal k\u00e4ivitatavaid kontrolleritavaid kontrolle plaanitakse jagada kategooriatesse, mida saab eraldi aktiveerida. M\u00f5ned ettepanekud kontrollide, mis ei too kaasa toimingute keerukuse suurenemist v\u00f5i ABI muutmist, on juba teostatud libc++ turvare\u017eiimi (safe mode) raames. <\/p>\n
Lisaks kavandatakse arendust\u00f6\u00f6riistade loomist, mis v\u00f5imaldavad koodi korrigeerida, asendades paljad pointerid konteineritega ja rakendades alternatiivseid k\u00e4sitlejaid olukordades, kus konteiner ei saa vahetult pointerit asendada (n\u00e4iteks konstruktsioon «if(array_pointer)» v\u00f5ib olla muudetud kujule «if(span.data()»). Korrigeerimisi saab rakendada mitte ainult kohalikele muutujaile, vaid ka pointeritega t\u00fc\u00fcbi parameetritele. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"