iOS Exploiting
Uso físico después de liberar
Este es un resumen de la publicación de https://alfiecg.uk/2024/09/24/Kernel-exploit.html además de que se puede encontrar más información sobre el exploit utilizando esta técnica en https://github.com/felix-pb/kfd
Gestión de memoria en XNU
El espacio de direcciones de memoria virtual para procesos de usuario en iOS abarca desde 0x0 hasta 0x8000000000. Sin embargo, estas direcciones no se mapean directamente a la memoria física. En cambio, el núcleo utiliza tablas de páginas para traducir direcciones virtuales en direcciones físicas reales.
Niveles de Tablas de Páginas en iOS
Las tablas de páginas están organizadas jerárquicamente en tres niveles:
Tabla de Páginas L1 (Nivel 1):
Cada entrada aquí representa un amplio rango de memoria virtual.
Cubre 0x1000000000 bytes (o 256 GB) de memoria virtual.
Tabla de Páginas L2 (Nivel 2):
Una entrada aquí representa una región más pequeña de memoria virtual, específicamente 0x2000000 bytes (32 MB).
Una entrada L1 puede apuntar a una tabla L2 si no puede mapear toda la región por sí misma.
Tabla de Páginas L3 (Nivel 3):
Este es el nivel más fino, donde cada entrada mapea una única página de memoria de 4 KB.
Una entrada L2 puede apuntar a una tabla L3 si se necesita un control más granular.
Mapeo de Memoria Virtual a Física
Mapeo Directo (Mapeo por Bloque):
Algunas entradas en una tabla de páginas mapean directamente un rango de direcciones virtuales a un rango contiguo de direcciones físicas (como un atajo).
Puntero a Tabla de Páginas Hija:
Si se necesita un control más fino, una entrada en un nivel (por ejemplo, L1) puede apuntar a una tabla de páginas hija en el siguiente nivel (por ejemplo, L2).
Ejemplo: Mapeo de una Dirección Virtual
Supongamos que intentas acceder a la dirección virtual 0x1000000000:
Tabla L1:
El núcleo verifica la entrada de la tabla de páginas L1 correspondiente a esta dirección virtual. Si tiene un puntero a una tabla de páginas L2, va a esa tabla L2.
Tabla L2:
El núcleo verifica la tabla de páginas L2 para un mapeo más detallado. Si esta entrada apunta a una tabla de páginas L3, procede allí.
Tabla L3:
El núcleo busca la entrada final L3, que apunta a la dirección física de la página de memoria real.
Ejemplo de Mapeo de Direcciones
Si escribes la dirección física 0x800004000 en el primer índice de la tabla L2, entonces:
Las direcciones virtuales desde 0x1000000000 hasta 0x1002000000 se mapean a direcciones físicas desde 0x800004000 hasta 0x802004000.
Este es un mapeo por bloque a nivel L2.
Alternativamente, si la entrada L2 apunta a una tabla L3:
Cada página de 4 KB en el rango de direcciones virtuales 0x1000000000 -> 0x1002000000 sería mapeada por entradas individuales en la tabla L3.
Uso físico después de liberar
Un uso físico después de liberar (UAF) ocurre cuando:
Un proceso asigna algo de memoria como legible y escribible.
Las tablas de páginas se actualizan para mapear esta memoria a una dirección física específica a la que el proceso puede acceder.
El proceso desasigna (libera) la memoria.
Sin embargo, debido a un error, el núcleo olvida eliminar el mapeo de las tablas de páginas, aunque marca la memoria física correspondiente como libre.
El núcleo puede entonces reasignar esta memoria física "liberada" para otros propósitos, como datos del núcleo.
Dado que el mapeo no se eliminó, el proceso aún puede leer y escribir en esta memoria física.
Esto significa que el proceso puede acceder a páginas de memoria del núcleo, que podrían contener datos o estructuras sensibles, lo que potencialmente permite a un atacante manipular la memoria del núcleo.
Estrategia de Explotación: Heap Spray
Dado que el atacante no puede controlar qué páginas específicas del núcleo se asignarán a la memoria liberada, utilizan una técnica llamada heap spray:
El atacante crea un gran número de objetos IOSurface en la memoria del núcleo.
Cada objeto IOSurface contiene un valor mágico en uno de sus campos, lo que facilita su identificación.
Ellos escanean las páginas liberadas para ver si alguno de estos objetos IOSurface aterrizó en una página liberada.
Cuando encuentran un objeto IOSurface en una página liberada, pueden usarlo para leer y escribir en la memoria del núcleo.
Más información sobre esto en https://github.com/felix-pb/kfd/tree/main/writeups
Proceso Paso a Paso de Heap Spray
Rociar Objetos IOSurface: El atacante crea muchos objetos IOSurface con un identificador especial ("valor mágico").
Escanear Páginas Liberadas: Verifican si alguno de los objetos ha sido asignado en una página liberada.
Leer/Escribir en la Memoria del Núcleo: Al manipular campos en el objeto IOSurface, obtienen la capacidad de realizar lecturas y escrituras arbitrarias en la memoria del núcleo. Esto les permite:
Usar un campo para leer cualquier valor de 32 bits en la memoria del núcleo.
Usar otro campo para escribir valores de 64 bits, logrando un primitivo de lectura/escritura estable en el núcleo.
Generar objetos IOSurface con el valor mágico IOSURFACE_MAGIC para buscar más tarde:
Busca objetos IOSurface
en una página física liberada:
Logrando Lectura/Escritura en el Kernel con IOSurface
Después de lograr el control sobre un objeto IOSurface en la memoria del kernel (mapeado a una página física liberada accesible desde el espacio de usuario), podemos usarlo para operaciones arbitrarias de lectura y escritura en el kernel.
Campos Clave en IOSurface
El objeto IOSurface tiene dos campos cruciales:
Puntero de Conteo de Uso: Permite una lectura de 32 bits.
Puntero de Marca de Tiempo Indexada: Permite una escritura de 64 bits.
Al sobrescribir estos punteros, los redirigimos a direcciones arbitrarias en la memoria del kernel, habilitando capacidades de lectura/escritura.
Lectura de Kernel de 32 Bits
Para realizar una lectura:
Sobrescribe el puntero de conteo de uso para que apunte a la dirección objetivo menos un desplazamiento de 0x14 bytes.
Usa el método
get_use_count
para leer el valor en esa dirección.
Escritura en el Kernel de 64 Bits
Para realizar una escritura:
Sobrescribe el puntero de marca de tiempo indexado a la dirección objetivo.
Usa el método
set_indexed_timestamp
para escribir un valor de 64 bits.
Resumen del Flujo de Explotación
Activar Uso-Físico Después de Liberar: Las páginas liberadas están disponibles para reutilización.
Rociar Objetos IOSurface: Asignar muchos objetos IOSurface con un "valor mágico" único en la memoria del kernel.
Identificar IOSurface Accesible: Localizar un IOSurface en una página liberada que controlas.
Abusar del Uso-Físico Después de Liberar: Modificar punteros en el objeto IOSurface para habilitar lecturas/escrituras arbitrarias en el kernel a través de métodos IOSurface.
Con estas primitivas, la explotación proporciona lecturas de 32 bits y escrituras de 64 bits en la memoria del kernel. Los pasos adicionales de jailbreak podrían involucrar primitivas de lectura/escritura más estables, lo que puede requerir eludir protecciones adicionales (por ejemplo, PPL en dispositivos arm64e más nuevos).
Last updated