Hardened Malloc de GrapheneOS: Una inmersión profunda en sus mejoras de seguridad

El asignador de memoria reforzado de GrapheneOS, Hardened Malloc, emplea múltiples técnicas para combatir vulnerabilidades de corrupción de memoria. Aprovecha la Extensión de Etiquetado de Memoria (MTE) de ARM para detectar lecturas y escrituras fuera de los límites y vulnerabilidades de uso después de la liberación (use-after-free). Para dispositivos sin soporte MTE, Hardened Malloc utiliza canarios y páginas de protección de tamaño aleatorio para una seguridad mejorada. Su mecanismo único de doble cuarentena, utilizando reemplazo aleatorio y colas FIFO, aumenta significativamente la dificultad de los exploits de uso después de la liberación. El diseño limpio de Hardened Malloc facilita la auditoría y el mantenimiento, proporcionando a GrapheneOS un nivel superior de seguridad.