CVE-2026-90782 — إبطال الإشارة الفارغة (NULL Dereference) الناتج عن تشويش الحالة (Status-Clobbering) في S2OPC

إثبات مفهوم (PoC) مستقل لـ CVE-2026-90782 في S2OPC (Safe & Secure OPC).

الثغرة

في alloc_notification_message_items() (S2OPC 1.7.3 والإصدارات الأقدم):

• يُستخدم متغير status مشترك واحد لكل من تخصيصات DataChange و Event.
• إذا فشل تخصيص DataChange (أعاد OOM / غير OK) لكن نجح تخصيص Event اللاحق، فسيُستبدل status بالقيمة SOPC_STATUS_OK.
• عندها يمر فحص ما بعد الحلقة (post-loop guard) ويقوم الكود بإبطال الإشارة إلى المؤشر dataChangeNotif الذي لا يزال NULL → إبطال إشارة فارغة / انهيار.

البناء والتشغيل

gcc -o s2opc_poc reproducer.c

# Test 1 — both allocations succeed (no crash)
./s2opc_poc 1

# Test 2 — vulnerable path: DataChange fails, Event succeeds → NULL deref (crash)
./s2opc_poc 2

# Test 3 — fixed path: independent status tracking, no crash
./s2opc_poc 3

# Test 4 — control: data-only (no Event alloc to clobber status)
./s2opc_poc 4

يُنصح باستخدام AddressSanitizer:

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

الإصلاح

تتبَّع حالات التخصيص بشكل مستقل، واخرج مبكرًا / تجاوز إبطال الإشارة عند فشل تخصيص DataChange. يحاكي هذا النمط الموجود في الالتزام 8848f051.

الملفات

• reproducer.c — يحاكي منطق التخصيص المعرّض للثغرة والمُصلَح