CVE-2026-43813 — Desvio de enforceEnvironment do CloudAttestation

Análise de engenharia reversa da falha de validação de entrada da atestação PCC que a Apple lançou no iOS 26.6, encontrada em CloudAttestation.dylib.

TL;DR

O PCC.ComputeNodeValidator.policy.getter lê o byte com.apple.CloudAttestation.environment do dicionário darwinInit não verificado dentro do protobuf AttestationBundle e o coloca diretamente no NodeValidator.policy retornado ao chamador. A correção do 26.6 introduz um novo campo de struct que deveria condicionar essa leitura à chave de política do sistema enforceEnvironment no domínio com.apple.CloudAttestation — mas esse campo nunca foi inicializado no 26.5, então a proteção estava efetivamente ausente e um pacote de atestação PCC forjado podia definir um valor de ambiente escolhido pelo atacante na cadeia de políticas do validador.

O byte em si não libera nada sozinho — ele precisa corresponder ao parâmetro expected fornecido pelo chamador para passar por EnvironmentPolicy.evaluate, e o restante da pilha de políticas de produção (requireProdTrustAnchors, requireProdFusing, requireLockedCryptexes, restrictDeveloperMode, strictCertificateValidation, transparencyProofValidation, ensembleTopologyValidation) é lido de os_policy_lookup, não do pacote.

Binários incluídos no repositório

Bancos de dados do IDA (.i64), dumps do BinExport e outros builds intermediários são ignorados pelo Git.

Endereços vulneráveis / corrigidos

Similaridade Bindiff para o par corrigido: 0.68.

Arquivos

• WRITEUP.md — análise completa de engenharia reversa (fluxo de dados, patch de correção, por que é interno à PCC e não à assinatura de apps)
• WHY-NOT-SIDELOADING.md — breve coda de modelo de ameaça explicando por que este CVE não pode ser transformado em um exploit no estilo TrollStore
• NOTES.md — rascunho de análise
• CVE-2026-43813.txt — descrição original do CVE (transcrição fiel da VulDB)
• releases.txt — IDs de build em ordem cronológica

Nota

Esta pesquisa foi fortemente auxiliada pelo MiniMax-M3. Tenha isso em mente ao ler as análises — nenhuma das análises foi verificada de forma independente, e descompilações, endereços ou índices de similaridade citados devem ser verificados novamente antes de se confiar neles.