CVE-2026-90782 — S2OPC Status-Clobbering NULL-Dereferenzierung

Eigenständiger Proof-of-Concept für CVE-2026-90782 in S2OPC (Safe & Secure OPC).

Schwachstelle

In alloc_notification_message_items() (S2OPC 1.7.3 und früher):

• Eine einzelne gemeinsam genutzte status-Variable wird sowohl für DataChange- als auch für Event-Allokationen verwendet.
• Wenn die DataChange-Allokation fehlschlägt (OOM / non-OK zurückgibt), aber die nachfolgende Event-Allokation erfolgreich ist, wird status auf SOPC_STATUS_OK überschrieben.
• Die Guard-Prüfung nach der Schleife wird dann bestanden und der Code dereferenziert den weiterhin NULL-Zeiger dataChangeNotif → NULL-Dereferenzierung / Absturz.

Build & Ausführung

gcc -o s2opc_poc reproducer.c

# Test 1 — beide Allokationen erfolgreich (kein Absturz)
./s2opc_poc 1

# Test 2 — anfälliger Pfad: DataChange schlägt fehl, Event erfolgreich → NULL-Deref (Absturz)
./s2opc_poc 2

# Test 3 — korrigierter Pfad: unabhängige Statusverfolgung, kein Absturz
./s2opc_poc 3

# Test 4 — Kontrolle: nur Daten (keine Event-Allokation, die status überschreiben könnte)
./s2opc_poc 4

Empfohlen mit AddressSanitizer:

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

Korrektur

Allokationsstatus unabhängig verfolgen und bei fehlgeschlagener DataChange-Allokation frühzeitig beenden / die Dereferenzierung überspringen. Entspricht dem Muster in Commit 8848f051.

Dateien

• reproducer.c — bildet die anfällige und die korrigierte Allokationslogik ab