{"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\/pt\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"O projeto LLVM desenvolve ferramentas para gerenciamento seguro de buffers em C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Os desenvolvedores do projeto LLVM propuseram uma s\u00e9rie de altera\u00e7\u00f5es voltadas para aumentar a seguran\u00e7a de projetos cr\u00edticos em C++ e oferecer meios para evitar erros causados por estouro de buffers. O trabalho \u00e9 concentrado em duas frentes: fornecer um modelo de desenvolvimento que permita trabalhar com buffers de forma segura e realizar melhorias na prote\u00e7\u00e3o da biblioteca padr\u00e3o de fun\u00e7\u00f5es libc++. <\/p>\n
O modelo proposto de programa\u00e7\u00e3o segura para C++ sugere o uso das classes fornecidas pela biblioteca padr\u00e3o ao trabalhar com buffers, em vez de manipular ponteiros brutos. Por exemplo, recomenda-se usar as classes std::array, std::vector e std::span, que ter\u00e3o verifica\u00e7\u00e3o de estouro de mem\u00f3ria incorporada, realizada em tempo de execu\u00e7\u00e3o. <\/p>\n
Para combater pr\u00e1ticas de programa\u00e7\u00e3o perigosas no clang, prop\u00f5e-se gerar avisos do compilador para todas as opera\u00e7\u00f5es aritm\u00e9ticas com ponteiros, semelhantes aos avisos do linter clang-tidy, emitidos ao usar a flag \u00abcppcoreguidelines-pro-bounds-pointer-arithmetic\u00bb, cujo suporte ser\u00e1 adicionado na vers\u00e3o 16 do LLVM. Para ativar tais avisos no clang, ser\u00e1 adicionada uma flag separada, que n\u00e3o estar\u00e1 habilitada por padr\u00e3o. <\/p>\n
No libc++, planeja-se implementar um modo opcional de prote\u00e7\u00e3o refor\u00e7ada, que, quando ativado, ir\u00e1 detectar em tempo de execu\u00e7\u00e3o algumas situa\u00e7\u00f5es que levam a comportamentos indefinidos. Por exemplo, nas classes std::span e std::vector, ser\u00e1 monitorado o acesso al\u00e9m da \u00e1rea de mem\u00f3ria alocada, e se ocorrer, o programa ser\u00e1 encerrado abruptamente. Os desenvolvedores acreditam que a adi\u00e7\u00e3o de tais altera\u00e7\u00f5es manter\u00e1 o libc++ em conformidade com os padr\u00f5es C++, uma vez que a escolha do m\u00e9todo de tratamento de casos de comportamento indefinido \u00e9 deixada aos desenvolvedores da biblioteca, que podem, inclusive, interpretar o comportamento indefinido como uma falha, exigindo a termina\u00e7\u00e3o do programa. <\/p>\n
As verifica\u00e7\u00f5es realizadas em tempo de execu\u00e7\u00e3o no libc++ est\u00e3o planejadas para serem categorizadas, permitindo sua ativa\u00e7\u00e3o individual. Algumas das verifica\u00e7\u00f5es propostas, que n\u00e3o complicam as opera\u00e7\u00f5es ou alteram o ABI, j\u00e1 est\u00e3o implementadas no modo seguro do libc++ (safe mode). <\/p>\n
Al\u00e9m disso, planeja-se criar uma ferramenta para ajustar o c\u00f3digo, permitindo substituir vari\u00e1veis com ponteiros nus por cont\u00eaineres e aplicar manipuladores alternativos em situa\u00e7\u00f5es em que o cont\u00eainer n\u00e3o pode substituir diretamente o ponteiro (por exemplo, a constru\u00e7\u00e3o \u00abif(array_pointer)\u00bb pode ser transformada em \u00abif(span.data()\u00bb). As corre\u00e7\u00f5es podem ser aplicadas n\u00e3o apenas a vari\u00e1veis locais, mas tamb\u00e9m a par\u00e2metros de tipos com ponteiros. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"