Las7

توجد حالة سباق بين وقت التحقق ووقت الاستخدام (TOCTOU) في تنفيذ مضيف udp-socket الخاص بـ wasip3 wasi:sockets. تسمح هذه الثغرة للضيوف بتجاوز قيود الإرسال التي تفرضها دالة `socket addrcheck`. يمكن لضيف خبيث استغلال ذلك عن طريق إحداث سباق بين `udp-socket.send` و `udp-socket.connect` لإرسال مخططات بيانات (datagrams) يتحكم فيها المهاجم إلى عناوين تسمح السياسة باستقبال البيانات منها فقط.

يسمح خطأ منطقي في دالة `deserialize tensor()` الخاصة بالخلفية RPC لمهاجم غير مصدق عليه بقراءة وكتابة ذاكرة العملية بشكل تعسفي. ويحدث ذلك بسبب تخطي عملية التحقق من الحدود عندما يتم تعيين حقل `buffer` الخاص بالتنزور إلى 0. من خلال إرسال رسائل «GRAPH COMPUTE» مصممة خصيصًا والاستفادة من تسربات المؤشرات من «ALLOC BUFFER» و«BUFFER GET BASE»، يمكن للمهاجم تجاوز ASLR (توزيع عشوائي لمساحة العناوين) بالكامل وتنفيذ التعليمات البرمجية عن بُعد. لا يتطلب الهجوم سوى الوصول عبر بروتوكول TCP إلى منفذ خادم RPC ولا يتطلب أي مصادقة.