CVE-2026-41197 — Noir Brillig: subalocação de arrays aninhados em chamadas externas corrompe o heap
O Noir é uma Linguagem Específica de Domínio (DSL) para sistemas de prova SNARK, projetada para usar qualquer sistema de prova compatível com ACIR, e o Brillig é o bytecode que o ACIR usa para não determinismo. Programas Noir podem invocar funções externas por meio de chamadas externas (foreign calls). Ao compilar para bytecode Brillig, as instruções SSA são processadas bloco a bloco em BrilligBlock::compile_block(). Quando o compilador encontra uma Instruction::Call com alvo Value::ForeignFunction, ele invoca codegen_call() em brillig_call/code_gen_call.rs, que despacha para convert_ssa_foreign_call(). Antes de emitir a operação de chamada externa, o compilador deve pré-alocar memória para quaisquer resultados em array que a chamada vai retornar. Isso acontece por meio de allocate_external_call_results(), que itera sobre os tipos de resultado. Para resultados do tipo Type::Array, delega a allocate_foreign_call_result_array() para alocar recursivamente memória no heap para arrays aninhados. A struct BrilligArray é a representação interna de um array Noir no Brillig IR. Seu campo size representa o tamanho semi-achatado, o total de slots de memória que o array ocupa, levando em conta que tipos compostos como tuplas consomem vários slots por elemento. Esse tamanho é calculado por compute_array_length() em brillig_block_variables.rs. Para o array externo, allocate_external_call_results() usa corretamente define_variable(), que internamente chama allocate_value_with_type(). Essa função aplica a fórmula acima, produzindo o tamanho semi-achatado correto. Entretanto, para arrays aninhados, allocate_foreign_call_result_array() contém um bug. O padrão Type::Array(_, nested_size) descarta os tipos internos com _ e usa apenas nested_size, o comprimento semântico do array aninhado (o número de elementos lógicos), e não o tamanho semi-achatado. Para tipos de elemento simples isso funciona corretamente, mas para tipos de elemento compostos há subalocação. Chamadas externas que retornam arrays aninhados de tuplas ou outros tipos compostos corrompem o heap da VM Brillig. A versão 1.0.0-beta.19 corrige esse problema.
Tradução automática da descrição oficial; o texto em inglês prevalece em caso de divergência.
Quem explora e qual a prioridade
Nota de 0 a 100 que combina exploração confirmada, uso por ransomware e grupos APT, exploits públicos, EPSS e severidade.
Como a nota foi calculada
- EPSS 0.5% (probabilidade de exploração em 30 dias)+6
- Severidade técnica (critical)+10
- Exploração automatizável (SSVC)+3
A nota ordena a fila de correção; não substitui o contexto dos seus ativos (exposição à internet, criticidade, compensações).
Triagem
Está sendo explorada, qual a probabilidade de exploração, o que afeta e qual a severidade segundo as fontes.
Avaliação SSVC da CISA CISA
Três pontos de decisão que a CISA publica para as CVEs que avalia (SSVC 2.0.3). Uma decisão de priorização, não uma nota de severidade.
Remediação
Correções e mitigações documentadas pelas fontes — com link para o aviso original.
Nenhuma correção documentada pelas fontes consultadas. Isso não significa que não exista: verifique o aviso do fabricante.
Primeiras 24 horas
Ordenado a partir dos próprios campos do registro — exposição primeiro, porque não se corrige o que não se encontrou. Ponto de partida, gerado por regras.
- Identifique ativos expostos que executam as combinações de fabricante/produto/versão afetadas (Noir-lang Noir).
- O ataque é pela rede e não exige privilégios: restrinja a exposição (ACLs, VPN, WAF) até corrigir.
- Nenhuma correção documentada nas fontes: reduza a exposição e monitore o aviso do fabricante.
- Procure nos logs disponíveis sinais de tentativa de exploração, erros e anomalias de autenticação.
Escopo afetado
Fabricante, produto e versões como as fontes os descrevem.
Características do ataque
O vetor CVSS decodificado. Descreve o ataque, não a sua exposição a ele.
Todas as pontuações coletadas
As fontes pontuam de forma independente e podem discordar; cada linha diz quem pontuou e em qual versão.
| Nota | Versão | Severidade | Explor. | Impacto | Pontuado por |
|---|---|---|---|---|---|
| 9.3 | CVSS 4.0 | Crítica | — | — | security-advisories@github.com via NIST National Vulnerability Database |
| 9.3 | CVSS 4.0 | Crítica | — | — | GitHub_M via CVE Program (cve.org) e CISA ADP |
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:H/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X (nota exibida no topo: security-advisories@github.com) Fraqueza MITRE
Classe de fraqueza segundo o catálogo CWE do MITRE.
EPSS ao longo do tempo FIRST
13/10/2026 → 14/10/2026 · 2 leitura(s) · máximo 0.49%
Detecção
Derivado do vetor CVSS e da classe da fraqueza. Pontos de partida, não regras testadas.
- Priorize telemetria de borda para o componente exposto na rede (proxy, WAF, IDS/IPS).
Análises e vídeos
CVE-2026-41197: Noir Brillig: subalocação de arrays aninhados em chamadas externas corrompe o heap
A CVE-2026-41197 afeta a toolchain da linguagem Noir quando o bytecode Brillig é gerado para chamadas externas que retornam arrays aninhados de tipos compostos, como tuplas. A alocação de memória para arrays aninhados usa a quantidade lógica de elementos em vez do número de slots semi-achatados, o que subaloca o heap e pode corrompê-lo. O aviso do GitHub registra pontuação CVSS 4.0 de 9.3 e informa que a versão 1.0.0-beta.19 corrige o problema.
Linha do tempo
O que aconteceu com esta CVE, do mais recente ao mais antigo.
- 2026
- Produtos afetados adicionados · noir-lang/noir
- Avaliação SSVC atualizada
- Ficha publicada
- CVSS alterado · 9.3
- Status na fonte alterado · → Deferred
- Registro criado nesta base
- CVE publicada
Atividade das fontes
Leituras que se repetem foram contadas em vez de listadas.
- 1× Descrição oficial atualizada · 13/10/2026 – 13/10/2026
Referências
2 no registro
Em outras páginas do site
Não consta em nenhuma fonte consultada
Listado em vez de deixado em branco: um campo vazio e um não medido parecem iguais na tela, e só um deles é motivo para procurar em outro lugar.
- Nenhuma versão corrigida, patch ou mitigação documentada.
- Nenhum IOC confirmado (IPs, domínios, hashes ou artefatos de malware) fornecido.
- Nenhum inventário de ativos, controle compensatório ou evidência de implantação de patch da sua organização.
- Nenhuma captura de tráfego de exploração, amostra de log ou caso de incidente.
Respondido a partir deste registro
Texto montado apenas com os campos acima — sem afirmações adicionais.
O que os defensores devem saber primeiro?
CVE-2026-41197 é "Noir Brillig: subalocação de arrays aninhados em chamadas externas corrompe o heap", de severidade Crítica. Afeta Noir (Noir-lang); as versões estão na tabela de escopo. Não está na CISA KEV, o que não exclui exploração. CVSS 9.3 descreve a severidade técnica. EPSS 0.49% estima a probabilidade de exploração em 30 dias; nenhum dos dois substitui o contexto dos seus ativos. Verifique primeiro se ativos expostos ou críticos executam as versões afetadas, aplique as correções ou mitigações do fabricante e preserve logs para análise.
Comentários
Discussão técnica moderada. Leia as regras da comunidade.
Nenhum comentário ainda.
Entre ou crie uma conta para comentar e sugerir correções.