CVE-2026-43813 — Bypass de enforceEnvironment en CloudAttestation

Análisis de ingeniería inversa del fallo de validación de entrada de la atestación PCC que Apple distribuyó en iOS 26.6, encontrado en CloudAttestation.dylib.

TL;DR

PCC.ComputeNodeValidator.policy.getter lee el byte com.apple.CloudAttestation.environment del diccionario darwinInit no verificado dentro del protobuf AttestationBundle y lo introduce directamente en el NodeValidator.policy devuelto al llamador. El parche de 26.6 introduce un nuevo campo de estructura que se supone que condiciona esa lectura a la clave de política del sistema enforceEnvironment en el dominio com.apple.CloudAttestation — pero ese campo nunca se inicializó en 26.5, por lo que ese control estaba efectivamente ausente y un paquete de atestación PCC manipulado podía introducir un valor de entorno elegido por el atacante en la cadena de políticas del validador.

El byte en sí no desbloquea nada por sí solo — debe coincidir con el parámetro expected suministrado por el llamador para superar EnvironmentPolicy.evaluate, y el resto de la pila de políticas de producción (requireProdTrustAnchors, requireProdFusing, requireLockedCryptexes, restrictDeveloperMode, strictCertificateValidation, transparencyProofValidation, ensembleTopologyValidation) se lee de os_policy_lookup, no del paquete.

Binarios incluidos en el repositorio

Las bases de datos de IDA (.i64), los volcados de BinExport y otras compilaciones intermedias están ignoradas por git.

Direcciones vulnerables / parcheadas

Similitud de Bindiff para el par parcheado: 0.68.

Archivos

• WRITEUP.md — informe completo de ingeniería inversa (flujo de datos, parche de corrección, por qué es interno de PCC y no del firmado de apps)
• WHY-NOT-SIDELOADING.md — coda breve de modelo de amenazas que explica por qué este CVE no se puede convertir en un exploit estilo TrollStore
• NOTES.md — borrador de análisis
• CVE-2026-43813.txt — descripción original del CVE (texto literal de VulDB)
• releases.txt — IDs de compilación en orden cronológico

Nota

Esta investigación contó con una gran ayuda de MiniMax-M3. Tenlo en cuenta al leer los informes — ninguno de los análisis está verificado de forma independiente, y cualquier descompilación, dirección o puntuación de similitud citada debe volver a comprobarse antes de confiar en ella.