{"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\/es\/blog\/news\/proekt-llvm-razvivaet-sredstva-dlya-bezopasnoj-raboty-s-buferami-v-c","title":{"rendered":"El proyecto LLVM desarrolla herramientas para un manejo seguro de buffers en C++","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Los desarrolladores del proyecto LLVM han propuesto una serie de cambios destinados a mejorar la seguridad de proyectos cr\u00edticos en C++ y proporcionar mecanismos para prevenir errores causados por desbordamientos de b\u00fafer. El trabajo se centra en dos direcciones: ofrecer un modelo de desarrollo que permita trabajar de forma segura con b\u00faferes y fortalecer la protecci\u00f3n de la biblioteca est\u00e1ndar de funciones libc++. <\/p>\n
El modelo propuesto de programaci\u00f3n segura para C++ implica utilizar las clases proporcionadas por la biblioteca est\u00e1ndar al trabajar con b\u00faferes en lugar de manipular punteros crudos. Por ejemplo, se sugiere utilizar las clases std::array, std::vector y std::span, a las que se les a\u00f1adir\u00e1 una verificaci\u00f3n de desbordamientos de memoria que se realizar\u00e1 en tiempo de ejecuci\u00f3n. <\/p>\n
Para combatir las peligrosas pr\u00e1cticas de programaci\u00f3n en clang, se propone emitir advertencias del compilador para todas las operaciones aritm\u00e9ticas con punteros, similares a las advertencias del linter clang-tidy, que se emiten al usar la bandera \u00abcppcoreguidelines-pro-bounds-pointer-arithmetic\u00bb, cuyo soporte aparecer\u00e1 en la versi\u00f3n LLVM 16. Para activar tales advertencias en clang, se a\u00f1adir\u00e1 una bandera separada, que no estar\u00e1 habilitada por defecto. <\/p>\n
En libc++ se planea implementar un modo opcional de mayor protecci\u00f3n, en el cual se capturar\u00e1n en tiempo de ejecuci\u00f3n algunas situaciones que llevan a comportamientos indefinidos. Por ejemplo, en las clases std::span y std::vector se rastrear\u00e1 el acceso fuera del \u00e1rea de memoria asignada, y en caso de detectarse, el programa se cerrar\u00e1 de forma abrupta. Los desarrolladores creen que la adici\u00f3n de tales cambios mantendr\u00e1 a libc++ en conformidad con los est\u00e1ndares de C++, ya que la elecci\u00f3n del m\u00e9todo para manejar los casos de comportamiento indefinido recae en los desarrolladores de la biblioteca, quienes pueden considerar el comportamiento indefinido como un fallo que requiera la terminaci\u00f3n del programa. <\/p>\n
Las verificaciones realizadas en tiempo de ejecuci\u00f3n en libc++ se prev\u00e9 que se dividan en categor\u00edas, las cuales podr\u00e1n habilitarse individualmente. Algunas de las verificaciones propuestas, que no complican las operaciones ni alteran la ABI, ya se han implementado en el modo seguro de libc++ (safe mode). <\/p>\n
Adem\u00e1s, se planea preparar herramientas para ajustar el c\u00f3digo, permitiendo reemplazar variables con punteros simples por contenedores y aplicar manejadores alternativos en situaciones donde el contenedor no puede reemplazar directamente al puntero (por ejemplo, la construcci\u00f3n \u00abif(array_pointer)\u00bb podr\u00eda transformarse en \u00abif(span.data())\u00bb. Los ajustes pueden aplicarse no solo a variables locales, sino tambi\u00e9n a par\u00e1metros de tipos con punteros. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"