{"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\/ro\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Proiectul LLVM dezvolt\u0103 instrumente pentru lucru sigur cu buffer-e \u00een C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Dezvoltatorii proiectului LLVM au propus o serie de modific\u0103ri menite s\u0103 \u00eembun\u0103t\u0103\u021beasc\u0103 securitatea proiectelor critice scrise \u00een C++ \u0219i s\u0103 ofere mijloace pentru excluderea erorilor cauzate de dep\u0103\u0219irea limitelor acceptabile ale bufferelor. Lucr\u0103rile se concentreaz\u0103 pe dou\u0103 direc\u021bii: furnizarea unui model de dezvoltare care s\u0103 permit\u0103 lucrul \u00een condi\u021bii de siguran\u021b\u0103 cu buffere \u0219i \u00eentreprinderea de m\u0103suri pentru \u00eent\u0103rirea protec\u021biei bibliotecii standard de func\u021bii libc++. <\/p>\n
Modelul propus de programare sigur\u0103 pentru C++ preconizeaz\u0103 utilizarea claselor oferite de biblioteca standard atunci c\u00e2nd se lucreaz\u0103 cu buffere, \u00een locul manipul\u0103rii unor pointeri brut. De exemplu, se sugereaz\u0103 utilizarea claselor std::array, std::vector \u0219i std::span, \u00een care va fi ad\u0103ugat\u0103 o verificare a dep\u0103\u0219irii limitelor memoriei alocate, efectuat\u0103 \u00een timpul execu\u021biei. <\/p>\n
Pentru a combate tehnicile periculoase de programare \u00een clang, se propune emiterea de avertismente ale compilatorului pentru toate opera\u021biile aritmetice cu pointeri, asem\u0103n\u0103toare cu avertismentele linter-ului clang-tidy, ce sunt produce cu flag-ul \u2018cppcoreguidelines-pro-bounds-pointer-arithmetic\u2019, al c\u0103rui suport va fi disponibil \u00een versiunea LLVM 16. Pentru a activa astfel de avertismente, clang va ad\u0103uga un flag separat, care nu va fi activat \u00een mod implicit. <\/p>\n
\u00cen libc++, se preconizeaz\u0103 implementarea unui mod op\u021bional de protec\u021bie sporit\u0103, \u00een care anumite situa\u021bii care duc la comportamente nedefinite vor fi monitorizate \u00een timpul execu\u021biei. De exemplu, \u00een clasele std::span \u0219i std::vector va fi urm\u0103rit accesul dincolo de zona de memorie alocat\u0103, iar \u00een cazul \u00een care va fi detectat, programul se va \u00eenchide necontrolat. Dezvoltatorii consider\u0103 c\u0103 ad\u0103ugarea unor astfel de modific\u0103ri va men\u021bine conformitatea libc++ cu standardele C++, deoarece alegerea metodei de tratare a cazurilor de comportament nedefinit revine dezvoltatorilor bibliotecii, care pot interpreta inclusiv comportamentele nedefinite ca fiind erori, ce necesit\u0103 \u00eenchiderea programului. <\/p>\n
Verific\u0103rile efectuate \u00een timpul execu\u021biei \u00een libc++ sunt planificate s\u0103 fie \u00eemp\u0103r\u021bite \u00een categorii care pot fi activate individual. Unele dintre verific\u0103rile propuse, care nu complic\u0103 opera\u021biile sau nu modific\u0103 ABI, au fost deja implementate \u00een cadrul modului de siguran\u021b\u0103 libc++ (safe mode). <\/p>\n
De asemenea, se planific\u0103 preg\u0103tirea unui instrument pentru corectarea codului, care va permite \u00eenlocuirea variabilelor cu pointere brute cu containere \u0219i aplicarea de manipulatoare alternative \u00een situa\u021biile \u00een care containerul nu poate \u00eenlocui direct pointerul (de exemplu, construc\u021bia \u2018if(array_pointer)\u2019 poate fi transformat\u0103 \u00een \u2018if(span.data())\u2019. Corect\u0103rile pot fi aplicate nu doar variabilelor locale, ci \u0219i parametrilor de tip cu pointere. \n Sursa: opennet.ro<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"