💻 computer science
Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries
تُعد Veritas إطار عمل متعدد الوكلاء، قائم على أسس دلالية، يجمع بين التحليل الساكن لتمثيل LLVM IR المرفوع، والاستدلال عبر نماذج لغوية كبيرة ثنائية الرؤية، والتحقق أثناء وقت التشغيل، لتحقيق كشف عالي الاستدعاء ومنخفض الإيجابيات الكاذبة لثغرات فساد الذاكرة في الملفات الثنائية المجردة، وقد نجحت في تحديد ثغرة أمنية غير معروفة سابقاً لدى شركة Apple.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.