{"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\/pl\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Projekt LLVM rozwija narz\u0119dzia do bezpiecznej pracy z buforami w C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Tw\u00f3rcy projektu LLVM zaproponowali szereg zmian maj\u0105cych na celu zwi\u0119kszenie bezpiecze\u0144stwa krytycznych projekt\u00f3w w j\u0119zyku C++ oraz dostarczenie narz\u0119dzi do eliminacji b\u0142\u0119d\u00f3w zwi\u0105zanych z przekroczeniem dozwolonych granic bufor\u00f3w. Prace koncentruj\u0105 si\u0119 na dw\u00f3ch kierunkach: dostarczenie modelu rozwoju, kt\u00f3ry umo\u017cliwia bezpieczn\u0105 prac\u0119 z buforami oraz prace nad wzmocnieniem ochrony standardowej biblioteki funkcji libc++. <\/p>\n
Proponowany model bezpiecznego programowania w C++ zak\u0142ada korzystanie z klas udost\u0119pnianych przez standardow\u0105 bibliotek\u0119 podczas pracy z buforami zamiast manipulacji nagimi wska\u017anikami. Na przyk\u0142ad, proponuje si\u0119 wykorzystanie klas std::array, std::vector i std::span, do kt\u00f3rych zostanie dodana weryfikacja przekroczenia granic przydzielonej pami\u0119ci, przeprowadzana w czasie wykonywania. <\/p>\n
Aby walczy\u0107 z niebezpiecznymi technikami programowania w clang, proponuje si\u0119 generowanie ostrze\u017ce\u0144 kompilatora dla wszystkich operacji arytmetycznych z wska\u017anikami, podobnych do ostrze\u017ce\u0144 lintera clang-tidy, kt\u00f3re s\u0105 wy\u015bwietlane po u\u017cyciu flagi \"cppcoreguidelines-pro-bounds-pointer-arithmetic\", kt\u00f3rej wsparcie pojawi si\u0119 w wydaniu LLVM 16. Aby w\u0142\u0105czy\u0107 takie ostrze\u017cenia w clang, zostanie dodana oddzielna flaga, kt\u00f3ra domy\u015blnie b\u0119dzie nieaktywna. <\/p>\n
W libc++ planowane jest wdro\u017cenie opcjonalnego trybu wzmocnionej ochrony, kt\u00f3ry, po aktywowaniu, b\u0119dzie wychwytywa\u0142 niekt\u00f3re sytuacje prowadz\u0105ce do nieokre\u015blonego zachowania w czasie wykonywania. Na przyk\u0142ad, w klasach std::span i std::vector b\u0119dzie monitorowane dost\u0119p do pami\u0119ci poza przydzielonym obszarem; w przypadku wykrycia takiego dost\u0119pu, program zostanie awaryjnie zako\u0144czony. Tw\u00f3rcy wierz\u0105, \u017ce dodanie takich zmian utrzyma libc++ w zgodno\u015bci z standardami C++, poniewa\u017c wyb\u00f3r metody obs\u0142ugi przypadk\u00f3w nieokre\u015blonego zachowania spoczywa na tw\u00f3rcach biblioteki, kt\u00f3rzy mog\u0105 traktowa\u0107 nieokre\u015blone zachowanie jako b\u0142\u0105d, wymagaj\u0105cy zako\u0144czenia dzia\u0142ania programu. <\/p>\n
Testy przeprowadzane podczas wykonywania w libc++ maj\u0105 by\u0107 kategoryzowane, co umo\u017cliwi ich w\u0142\u0105czanie osobno. Niekt\u00f3re z proponowanych kontrol, kt\u00f3re nie prowadz\u0105 do skomplikowania operacji ani zmiany ABI, zosta\u0142y ju\u017c zrealizowane w ramach trybu bezpiecznego libc++ (safe mode). <\/p>\n
Dodatkowo planowane jest przygotowanie narz\u0119dzi do korekty kodu, kt\u00f3re umo\u017cliwi\u0105 zast\u0119powanie zmiennych z go\u0142ymi wska\u017anikami kontenerami oraz stosowanie alternatywnych obs\u0142ug wyr\u00f3\u017cnionych, gdy kontener nie mo\u017ce bezpo\u015brednio zast\u0105pi\u0107 wska\u017anika (na przyk\u0142ad konstrukcja \"if(array_pointer)\" mo\u017ce zosta\u0107 przekszta\u0142cona w \"if(span.data())\"). Korekty mog\u0105 by\u0107 stosowane nie tylko do lokalnych zmiennych, ale tak\u017ce do parametr\u00f3w typ\u00f3w z wska\u017anikami. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"