{"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 t\u00f6\u00f6riistu C++-ga turvaliseks t\u00f6\u00f6tamiseks buffereid jaoks.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
LLVM projekti arendajad on teinud mitmeid muudatusi, et tugevdada C++-keeles kriitiliste projektide turvalisust ning pakkuda vahendeid, mis aitavad v\u00e4ltida vigu, mis on p\u00f5hjustatud m\u00e4lupiiride \u00fcletamisest. T\u00f6\u00f6 keskendub kahele suunale: arendamismudeli pakkumine, mis v\u00f5imaldab turvaliselt t\u00f6\u00f6tada m\u00e4lude kallal, ja standardsete libc++ funktsioonide teegi kaitse tugevdamise t\u00f6\u00f6de l\u00e4biviimine. <\/p>\n
Pakutud turvalise programmeerimise mudel C++-le eeldab, et m\u00e4ludega t\u00f6\u00f6tamisel kasutatakse standardteegi klasside v\u00f5imalusi, mitte tooredate n\u00e4idikute manustamist. N\u00e4iteks soovitatakse kasutada klasse std::array, std::vector ja std::span, millele lisatakse m\u00e4lupiiride \u00fcletamise kontroll, mis toimub jooksvalt. <\/p>\n
Clangi ohtlike programmeerimispraktikate vastu v\u00f5itlemiseks on ette n\u00e4htud kompilatsioonihoiatuste v\u00e4ljastamine k\u00f5ikide pointerite aritmeetika operatsioonide puhul, sarnaste hoiatustega, nagu clang-tidy linter, mis kuvatakse \"cppcoreguidelines-pro-bounds-pointer-arithmetic\" lipu kasutamisel; toe sellele lisatakse LLVM 16 versioonis. Selliste hoiatuste lubamiseks lisatakse clangi jaoks eraldi lipp, mis pole vaikes\u00e4tteks aktiveeritud. <\/p>\n
Libc++ plaanib rakendada valikulist tugevdatud kaitse re\u017eiimi, mille aktiveerimisel tuvastatakse k\u00e4itusaja jooksul teatud olukorrad, mis v\u00f5ivad viia m\u00e4\u00e4ramatute k\u00e4itumiseni. N\u00e4iteks klassides std::span ja std::vector j\u00e4lgitakse m\u00e4lupiiridest v\u00e4lja p\u00e4\u00e4semist ning sellise juhtumi tuvastamisel l\u00f5petatakse programm \u00e4\u00e4rmuslikult. Arendajad usuvad, et selliste muudatuste lisamine s\u00e4ilitab libc++ vastavuse C++ standarditele, kuna m\u00e4\u00e4ramatute olukordade k\u00e4sitlemise meetodi valik j\u00e4\u00e4b teegiarendajate otsustada, kes v\u00f5ivad sealhulgas t\u00f5lgendada m\u00e4\u00e4ramatut k\u00e4itumist kui viga, mis n\u00f5uab programmi l\u00f5petamist. <\/p>\n
L\u00e4biviidud kontrollid libc++ raames plaanivad jagada kategooriatesse, mida saab eraldi sisse l\u00fclitada. M\u00f5ned pakutavad kontrollid, mis ei too kaasa operatsioonide keerulisemaks muutmist ega ABI muutmist, on juba rakendatud libc++ turvare\u017eiimi (safe mode) raames. <\/p>\n
Lisaks on plaanis ette valmistada t\u00f6\u00f6riist komplekti, mis v\u00f5imaldab koodi kohandamist, asendades paljat pointerit sisaldavad muutujad konteineritega ning rakendades alternatiivseid k\u00e4sitlejaid olukordades, kus konteiner ei saa otseselt pointerit asendada (n\u00e4iteks konstruktsiooni \"if(array_pointer)\" saab muuta \"if(span.data())\"-ks). Kohandusi saab rakendada mitte ainult kohalikest muutujatest, vaid ka pointeriga t\u00fc\u00fcbi parameetritest. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"