{"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\/fr\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"Le projet LLVM d\u00e9veloppe des outils pour travailler en toute s\u00e9curit\u00e9 avec les buffers en C++.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Les d\u00e9veloppeurs du projet LLVM ont propos\u00e9 une s\u00e9rie de modifications visant \u00e0 renforcer la s\u00e9curit\u00e9 des projets critiques en C++ et \u00e0 fournir des moyens d'exclure les erreurs caus\u00e9es par les d\u00e9bordements de m\u00e9moire. Le travail est concentr\u00e9 sur deux axes : la fourniture d'un mod\u00e8le de d\u00e9veloppement permettant de travailler en toute s\u00e9curit\u00e9 avec des buffers, et l'am\u00e9lioration de la protection de la biblioth\u00e8que standard des fonctions libc++. <\/p>\n
Le mod\u00e8le de programmation s\u00e9curis\u00e9e propos\u00e9 pour le C++ implique l'utilisation des classes fournies par la biblioth\u00e8que standard lors de la manipulation des buffers plut\u00f4t que de travailler avec des pointeurs nus. Par exemple, il est sugg\u00e9r\u00e9 d'utiliser les classes std::array, std::vector et std::span, qui seront enrichies d'une v\u00e9rification des d\u00e9bordements de m\u00e9moire r\u00e9alis\u00e9e au moment de l'ex\u00e9cution. <\/p>\n
Pour lutter contre les techniques de programmation dangereuses dans clang, il est propos\u00e9 d'afficher des avertissements du compilateur pour toutes les op\u00e9rations arithm\u00e9tiques sur les pointeurs, similaires aux avertissements du linter clang-tidy, affich\u00e9s lors de l'utilisation de l'option \u00ab cppcoreguidelines-pro-bounds-pointer-arithmetic \u00bb, dont le support sera ajout\u00e9 dans la version LLVM 16. Pour activer de tels avertissements dans clang, un nouvel indicateur sera ajout\u00e9, qui ne sera pas activ\u00e9 par d\u00e9faut. <\/p>\n
Dans libc++, un mode optionnel de protection renforc\u00e9e est pr\u00e9vu, qui, une fois activ\u00e9, interceptera certaines situations menant \u00e0 un comportement ind\u00e9fini lors de l'ex\u00e9cution. Par exemple, dans les classes std::span et std::vector, l'acc\u00e8s en dehors de la zone de m\u00e9moire allou\u00e9e sera surveill\u00e9, et en cas de d\u00e9tection, le programme se terminera de mani\u00e8re inattendue. Les d\u00e9veloppeurs estiment que l'ajout de telles modifications pr\u00e9servera la conformit\u00e9 de libc++ aux normes C++, car le choix de la m\u00e9thode de gestion des cas de comportement ind\u00e9fini revient aux d\u00e9veloppeurs de la biblioth\u00e8que, qui peuvent \u00e9galement consid\u00e9rer le comportement ind\u00e9fini comme une d\u00e9faillance n\u00e9cessitant l'arr\u00eat du programme. <\/p>\n
Les v\u00e9rifications effectu\u00e9es lors de l'ex\u00e9cution dans libc++ sont pr\u00e9vues pour \u00eatre class\u00e9es en cat\u00e9gories pouvant \u00eatre activ\u00e9es individuellement. Certaines des v\u00e9rifications propos\u00e9es, qui ne compliquent pas les op\u00e9rations ou ne modifient pas l'ABI, ont d\u00e9j\u00e0 \u00e9t\u00e9 mises en \u0153uvre dans le cadre du mode s\u00e9curis\u00e9 de libc++ (safe mode). <\/p>\n
De plus, il est pr\u00e9vu de pr\u00e9parer un outil de correction de code permettant de remplacer les variables dot\u00e9es de pointeurs nus par des conteneurs et d'appliquer des gestionnaires alternatifs dans des situations o\u00f9 un conteneur ne peut pas remplacer directement un pointeur (par exemple, la construction \u00ab if(array_pointer) \u00bb peut \u00eatre transform\u00e9e en \u00ab if(span.data()) \u00bb). Les modifications peuvent \u00eatre appliqu\u00e9es non seulement aux variables locales, mais \u00e9galement aux param\u00e8tres de type faisant r\u00e9f\u00e9rence \u00e0 des pointeurs. \n Source : opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"