{"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\/hr\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Projekt LLVM razvija alate za sigurni rad s memorijskim baferima u C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Programeri projekta LLVM predlo\u017eili su niz promjena usmjerenih na pobolj\u0161anje sigurnosti kriti\u010dnih projekata na jeziku C++ i pru\u017eanje alata za izbjegavanje gre\u0161aka uzrokovanih izlaskom iz dopu\u0161tenih granica bafera. Rad se fokusira na dva podru\u010dja: pru\u017eanje modela razvoja koji omogu\u0107uje siguran rad s baferima i rad na pobolj\u0161anju za\u0161tite standardne biblioteke funkcija libc++. <\/p>\n
Predlo\u017eeni model sigurnog programiranja za C++ predvi\u0111a kori\u0161tenje klasa koje pru\u017ea standardna biblioteka prilikom rada s baferima umjesto manipulacije golim pokaziva\u010dima. Na primjer, predla\u017ee se kori\u0161tenje klasa std::array, std::vector i std::span, u koje \u0107e biti dodana provjera izlaska iz granica dodijeljene memorije koja se provodi tijekom izvo\u0111enja. <\/p>\n
Kako bi se borili protiv opasnih programskih praksi u clang-u, predla\u017ee se generiranje upozorenja prevoditelja za sve aritmeti\u010dke operacije s pokaziva\u010dima, sli\u010dnih upozorenjima clang-tidy linters-a, koja se prikazuju pri kori\u0161tenju opcije 'cppcoreguidelines-pro-bounds-pointer-arithmetic', \u010dija \u0107e podr\u0161ka biti dostupna u izdanju LLVM 16. Za uklju\u010divanje ovakvih upozorenja u clang \u0107e biti dodana posebna opcija koja nije aktivna prema zadanim postavkama. <\/p>\n
U libc++ planira se implementirati opcionalni na\u010din poja\u010dane za\u0161tite, pri \u010demu \u0107e tijekom izvo\u0111enja biti pra\u0107ene odre\u0111ene situacije koje dovode do neodre\u0111enog pona\u0161anja. Na primjer, u klasama std::span i std::vector bit \u0107e pra\u0107eno pristupanje izvan dodijeljenog podru\u010dja memorije, u slu\u010daju otkrivanja \u010dega \u0107e program biti nesna\u017eno prekinut. Programeri smatraju da \u0107e dodavanje takvih promjena o\u010duvati uskla\u0111enost libc++ sa standardima C++, budu\u0107i da izbor metode obrade slu\u010dajeva neodre\u0111enog pona\u0161anja le\u017ei na programerima biblioteke, koji to mogu tuma\u010diti kao kvar koji zahtijeva prekid rada programa. <\/p>\n
Planira se kategorizacija provedenih provjera u libc++, koje \u0107e se mo\u0107i uklju\u010divati pojedina\u010dno. Neki od predlo\u017eenih provjera, koje ne kompliciraju operacije ili ne mijenjaju ABI, ve\u0107 su implementirani u okviru sigurnog na\u010dina rada libc++ (safe mode). <\/p>\n
Dodatno, planira se pripremiti alat za ispravljanje koda koji \u0107e omogu\u0107iti zamjenu varijabli s golim pokaziva\u010dima s kontejnerima i primjenu alternativnih rukovalaca u situacijama kada kontejner ne mo\u017ee izravno zamijeniti pokaziva\u010d (na primjer, struktura 'if(array_pointer)' mo\u017ee se preoblikovati u 'if(span.data())'. Ispravci se mogu primjenjivati ne samo na lokalne varijable, ve\u0107 i na parametre tipova s pokaziva\u010dima. \n Izvor: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"