CVE-2026-90782 — Desreferência NULL por Sobrescrita de Status no S2OPC

Prova de conceito autônoma para CVE-2026-90782 no S2OPC (Safe & Secure OPC).

Vulnerabilidade

Em alloc_notification_message_items() (S2OPC 1.7.3 e anteriores):

• Uma única variável status compartilhada é usada tanto para alocações de DataChange quanto de Event.
• Se a alocação de DataChange falhar (retornar OOM / não-OK) mas a alocação de Event subsequente for bem-sucedida, status é sobrescrito para SOPC_STATUS_OK.
• A verificação pós-loop então passa e o código desreferencia o ponteiro dataChangeNotif ainda NULL → desreferência NULL / crash.

Compilar e Executar

gcc -o s2opc_poc reproducer.c

# Teste 1 — ambas as alocações bem-sucedidas (sem crash)
./s2opc_poc 1

# Teste 2 — caminho vulnerável: DataChange falha, Event é bem-sucedido → desreferência NULL (crash)
./s2opc_poc 2

# Teste 3 — caminho corrigido: rastreamento de status independente, sem crash
./s2opc_poc 3

# Teste 4 — controle: apenas dados (sem alocação de Event para sobrescrever o status)
./s2opc_poc 4

Recomendado com AddressSanitizer:

gcc -fsanitize=address -g -o s2opc_poc reproducer.c
./s2opc_poc 2

Correção

Rastrear os status de alocação de forma independente e sair antecipadamente / pular a desreferência quando a alocação de DataChange falhar. Espelha o padrão do commit 8848f051.

Arquivos

• reproducer.c — espelha a lógica de alocação vulnerável e corrigida