Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
تقدم هذه الورقة MoCQ، وهو إطار عمل للتحليل الساكن عصبي-رمزي يستفيد من النماذج اللغوية الكبيرة لتوليد أنماط الثغرات الأمنية وتحسينها بشكل تكراري وتلقائي، محققاً أداءً في الكشف بمستوى الخبراء مع اكتشاف ثغرات جديدة وتقليل الجهد اليدوي بشكل كبير عبر لغات برمجة متعددة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك رئيس الأمن لمدينة ضخمة ومزدحمة (وهي الكود البرمجي). مهمتك هي العثور على الفخاخ المخفية، مثل أغطية بالوعات مرتخية أو جسور مفخخة، قبل أن يتأذى أي شخص.
لسنوات طويلة، كانت الطريقة المثلى للقيام بذلك هي توظيف فريق من المحققين الخبراء (مهندسي أمن بشريين). كان هؤلاء المحققون يقضون أسابيع في كتابة "ملصق مطلوب" (نمط ثغرة أمنية - vulnerability pattern) لكل نوع جديد من الفخاخ يعرفونه. كانوا يصفون بدقة كيف يبدو "غطاء البالوعة المرتخي" حتى يتمكنوا من مسح المدينة وتحديد مكانه.
المشكلة:
كتابة هذه "الملصقات المطلوبة" عملية بطيئة، مكلفة، وصعبة. فبحلول الوقت الذي ينتهي فيه المحققون من كتابة الملصق الخاص بـ "الفخ أ"، يكون الأشرار قد اخترعوا بالفعل "الفخ ب". والمدينة تستمر في النمو، ولا يستطيع المحققون مواكبة هذا العمل اليدوي.
الحل الجديد: MoCQ
قام الباحثون في هذه الورقة البحثية ببناء نظام جديد يسمى MoCQ. تخيل MoCQ كأنه متدرب ذكي للغاية ولا يكل (يستمد قوته من نموذج لغوي كبير، أو LLM، حيث قرأ كل الكتب في المكتبة).
إليك كيف يعمل MoCQ، باستخدام تشبيهات بسيطة:
1. حاجز اللغة (تقليص لغة الـ DSL)
نظام أمن المدينة يتحدث لغة تقنية معقدة للغاية (مثل كود سري يسمى DSL). إذا طلبت من المتدرب ببساطة أن "يكتب ملصق مطلوب"، فقد يحاول التحدث بالإنجليزية، لكن نظام الأمن لا يفهم إلا الكود السري. غالباً ما يصاب المتدرب بالارتباك ويكتب كلاماً غير مفهوم.
حل MoCQ: بدلاً من إعطاء المتدرب قاموساً كاملاً مكوناً من 10,000 صفحة من الكود السري، يعطيه MoCQ ورقة غش (ملخصاً مركزاً). فهو يختار فقط الكلمات والقواعد الأكثر أهمية وفائدة لوصف الفخ المحدد. هذا يجعل من السهل على المتدرب كتابة ملصق صالح دون أن يضيع في التفاصيل.
2. حلقة الخطأ والصواب (التحسين التكراري)
حتى مع وجود ورقة الغش، قد يرتكب المتدرب أخطاءً. قد يكتب ملصقاً يقول: "ابحث عن سيارة حمراء"، بينما الفخ في الحقيقة هو "شاحنة زرقاء".
حل MoCQ: لا يكتفي MoCQ بأخذ المسودة الأولى من المتدرب، بل يعمل كأنه محرر صارم يمتلك عدسة مكبرة سحرية.
- يقوم بتشغيل "الملصق المطلوب" الذي كتبه المتدرب ضد نظام المدينة.
- إذا تسبب الملصق في تعطل النظام، يشير المحرر إلى الخطأ المطبعي.
- إذا فات الملصق الفخ، يقول المحرر: "لقد بحثت في الشارع الخطأ".
- إذا رصد الملصق الكثير من الأشخاص الأبرياء (إنذارات خاطئة)، يقول المحرر: "أنت فضفاض جداً؛ كن أكثر تحديداً".
ثم يقوم المتدرب بإعادة كتابة الملصق بناءً على هذه الملاحظات. ويكررون هذه العملية مراراً وتكراراً حتى يصبح الملصق مثالياً. يحدث هذا في دقائق، بينما قد يستغرق المحقق البشري أسابيع.
3. النتيجة: ماسح ضوئي خارق
بمجرد أن ينتهي المتدرب، يأخذ MoCQ ذلك "الملصق المطلوب" المثالي ويقوم بتشغيله عبر المدينة بأكملها فوراً.
ماذا وجدوا؟
- السرعة: أنجز MoCQ في ساعات ما يستغرق عادةً من الخبراء البشريين أسابيع.
- الدقة: كانت الملصقات التي كتبها MoCQ بجودة الملصقات التي يكتبها كبار الخبراء البشريين.
- المفاجأة: لأن المتدرب قد قرأ الكثير من الكتب، فقد لاحظ تفاصيل دقيقة غابت عن الخبراء البشريين. لقد وجد MoCQ 46 نوعاً جديداً من الفخاخ لم يكن الخبراء يعرفون بوجودها حتى.
- الأثر في العالم الحقيقي: باستخدام هذه الملصقات الجديدة، اكتشف MoCQ 25 ثغرة أمنية جديدة وحقيقية في برمجيات فعلية لم يسبق اكتشافها من قبل.
الصورة الكبيرة
MoCQ لا يحاول استبدال المحققين البشريين، بل يعطيهم مساعداً خارق القدرات.
- البشر بارعون في التفكير الشامل وفهم السيناريوهات المعقدة والغريبة.
- الذكاء الاصطناعي (MoCQ) بارع في قراءة كتاب القواعد، ورصد التفاصيل الدقيقة، والقيام بالعمل التكراري المتمثل في كتابة "الملصقات المطلوبة".
عندما تجمع بين خبرة الإنسان وسرعة وانتباه الذكاء الاصطناعي للتفاصيل، تحصل على نظام أمني أسرع، وأذكى، ويصطاد المزيد من الأشرار أكثر من أي وقت مضى. إنه يحول عملية كانت تستغرق شهراً من العمل الشاق إلى بضع ساعات من العمل المؤتمت.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.