¿Por Qué es Importante Esto?
Los desbordamientos de buffer son uno de los problemas más notorios en el desarrollo de software. Aunque los sanitizadores han mitigado algunas de estas vulnerabilidades mediante la inserción automática de verificaciones de límites, los arrays flexibles han sido una excepción desafiante. ¿Por qué? Porque el tamaño de estos arrays generalmente es opaco para el compilador, lo que dificulta la realización de verificaciones de límites fuera de la función de asignación.
Google ha encontrado una solución, implementada en Clang y GCC, introduciendo el atributo counted_by. Este atributo referencia explícitamente el campo que almacena el número de elementos en un miembro de array flexible, permitiendo que el sanitizador de límites de arrays verifique las operaciones en estos arrays.
¿Cómo Funciona el Atributo Counted_by?
Para usar eficazmente el atributo counted_by, los desarrolladores deben seguir algunas reglas específicas:
- El campo de cuenta debe estar dentro de la misma estructura no anónima que el miembro del array flexible.
- El campo de cuenta debe establecerse antes de cualquier acceso al array.
- El campo del array debe tener al menos el número de elementos de la cuenta disponible en todo momento.
- El campo de cuenta puede cambiar, pero nunca debe exceder el número de elementos originalmente asignados.
Implicaciones para la Fortificación del Kernel
Este atributo tiene implicaciones significativas para el proyecto de fortificación del kernel de Linux, que busca hacer el kernel más seguro evitando desbordamientos de buffer en operaciones de memoria y cadenas. La fortificación se basa en funciones integradas como __builtin_object_size() y __builtin_dynamic_object_size() para validar los tamaños de entrada. Con el atributo counted_by, estas funciones pueden determinar con precisión el tamaño de los miembros de arrays flexibles, mejorando aún más la seguridad.
Ya se está utilizando dentro del kernel de Linux, y el atributo counted_by está demostrando ser instrumental en la detección de problemas como desbordamientos de buffer en el heap debido a desbordamientos de enteros. Google planea expandir su uso a más miembros de arrays flexibles y hacer cumplir su aplicación en desarrollos futuros.
Reflexiones Personales
En mi opinión, estos avances son cruciales para mantener la seguridad en un mundo cada vez más digital. Los desbordamientos de buffer son una amenaza constante, y cualquier paso hacia la mitigación de estos riesgos es un avance bienvenido. La introducción del atributo counted_by no solo mejora la seguridad de Linux, sino que también establece un precedente para futuras mejoras en la programación y el desarrollo de software.
Es fascinante ver cómo cada detalle técnico, por pequeño que parezca, puede tener un impacto significativo en la seguridad global. Al final del día, estos avances nos benefician a todos, haciendo de nuestro entorno digital un lugar más seguro para trabajar y vivir.
☞ El artículo completo original de Juan Diego Polo lo puedes ver aquí
No hay comentarios.:
Publicar un comentario