ملخص تقني: التفسير الوكيل (Agentic Interpretation) لتحليل البرامج القائم على النماذج اللغوية الكبيرة (LLM)

1. بيان المشكلة

تقدم النماذج اللغوية الكبيرة (LLMs) قدرات فريدة لتحليل البرامج من خلال الوصول إلى معلومات تتجاوز الكود المصدري، مثل التوثيق، والنشرات الأمنية، والبيانات الوصفية الخاصة بالإصدارات، وعقود واجهة برمجة التطبيقات (API) غير الرسمية. ومع ذلك، فإن الاعتماد على النماذج اللغوية الكبيرة لإجراء تحليل شامل للبرنامج في "خطوة واحدة" (one-shot) هو أمر هش بطبيعته لثلاثة أسباب رئيسية:

1. الحساسية للسياق: تشير الدراسات التجريبية إلى أن أداء النموذج يتدهور مع زيادة طول السياق وتعقيد المهمة، وتعتمد النتيات بشكل كبير على ترتيب المعلومات في المطالبة (prompt). قد يتم تقديم دليل حاسم (مثل نشرة أمنية محددة) ولكن لا يتم استخدامه بشكل موثوق.
2. الافتقار إلى الحالة المستمرة: تفتقر استجابات النماذج اللغوية الكبيرة أحادية الهيكل إلى حالة مستمرة لتتبع الادعاءات التي تم دعمها، أو دحضها، أو تركها مفتوحة. وهذا يجعل من الصعب التعامل مع الاستدلال المتناقض ذاتيًا أو الاستدلال الذي يفشل في دعم استنتاجاته الخاصة.
3. غياب بنية التبعية: لا توفر الإجابة أحادية الخطوة أي آلية للتغذية الراجعة. فإذا كشفت النتائج اللاحقة أن سؤالًا سابقًا قد تم تحديد نطاقه بشكل غير صحيح، أو أن مكونًا علويًا يتطلب إعادة فحص تحت فرضية مختلفة، فإن الإجابة غير المهيكلة لا يمكنها تسهيل هذا التحسين التكراري.

بناءً على ذلك، هناك حاجة إلى إطار عمل يسد الفجوة بين المطالبة العشوائية للنماذج اللغوية الكبيرة والتحليل الساكن المحدد بالكامل، وتحديدًا لـ تحليلات البرامج المعتمدة على الأدلة حيث لا تتوفر الحقائق ذات الصلة بالكامل في الكود المصدري أو المواصفات الرسمية.

2. المنهجية: التفسير الوكيل (Agentic Interpretation)

يقترح البحث التفسير الوكيل، وهو إطار عمل يطبق انضباط التحليل الساكن القائم على الشبكة (lattice-based static analysis) على الاستدلال المدفوع بالنماذج اللغوية الكبيرة. تقوم المنهجية بتفكيك أهداف التحليل عالية المستوى إلى ادعاءات محلية مرتبطة بنقاط البرنامج وحدود المكونات، وإدارة تطورها من خلال شبكة ذات ارتفاع محدود وخوارزمية قائمة على قائمة العمل (worklist algorithm).

2.1 المكونات الأساسية

• رسم التقييم البياني ($G^*$): امتداد للرسم البياني المستمد من البرنامج ($G_{prog}$) والذي يتضمن:
  • العقد المساعدة (Auxiliary Nodes): عقد تمثل التفاعلات بين المكونات أو الأهداف التي لا ترتبط بنقطة برنامج واحدة.
  • حواف السياق (Context Edges): حواف تتدفق للأمام تضمن أنه عند تقييم ادعاء في العقدة $n$، فإنه يتلقى حالة التقييم الحالية والأدلة من أسلافه.
  • حواف التغذية الراجعة (Feedback Edges): حواف تتدفق عكسًا تُحفز إعادة تقييم العقد العلوية عندما يتغير تقييم عقدة سفلية (على سبيل المثال، يؤدي ادعاء تركيب مدحوض إلى بدء بحث مستهدف في مكون غامض).
• نطاق التقييم (الشبكة - Lattice): شبه شبكة (join-semilattice) ذات ارتفاع محدود ($A$) تلخص الحالة الاستدلالية لادعاء ما.
  • يوضح البحث هذا من خلال شبكة AGraded: وهي $\{ \perp, w, s \} \times \{ \perp, w, s \}$، حيث يمثل الإحداثي الأول الأدلة الداعمة والثاني الأدلة المفندة. تتراوح القيم من الغياب ($\perp$) إلى الضعف ($w$) إلى القوة ($s$).
  • الشبكة هي نطاق معرفي (epistemic) حول حالات الأدلة، وليس نطاقًا تجريديًا حول حالات البرنامج الملموسة. إنها تسجل ما إذا كان الادعاء قد تم دعمه أو دحضه وقوة تلك الأدلة.
• حامل قائمة العمل (Worklist Harness): حلقة تحكم تدير حالة التحليل.
  • السياقية (Contextualization): بالنسبة لعقدة $n$، يقوم الحامل بإنشاء سياق مطالبة ($\Gamma_n$) باستخدام الكود المصدري، والهدف عالي المستوى، والتقييمات الحالية للعقد السابقة.
  • محولات العقد (Node Transformers): يقوم الوكيل (النموذج اللغوي الكبير) بعمليتين:
    1. التقييم (Evaluation): تقييم الادعاءات الموجودة مقابل السياق، مع إرجاع تقييم محدث وسجلات الأدلة.
    2. التوليد (Generation): اقتراح ادعاءات جديدة وذات صلة بناءً على السياق.
  • الانتشار (Propagation): إذا أدى "الجمع" (join) بين التقييم الجديد والتقييم القديم إلى زيادة صارمة في ترتيب الشبكة، يتم إدراج الناجحين الموسعين للعقدة في قائمة العمل لإعادة التقييم.

2.2 عملية التحليل

تتم توضيح العملية من خلال مراجعة أمنية لبرنامج يحتوي على مكونات خارجية غامضة (محلل JSON ومتحقق من التوقيع).

1. التهيئة: يتم ملء قائمة العمل بجميع العقد البرمجية والمساعدة.
2. التحسين التكراري:
   • المرحلة الأولى: التقييم المستقل للمكونات (على سبيل المثال، مراجعة التوثيق للمحلل والمتحقق).
   • المرحلة الثانية: تركيب الأدلة. يقيم إطار العمل ادعاءات التكوين عبر المكونات (على سبيل المثال، "هل تضمن المكونات السلامة معًا؟"). إذا تم دحض ادعاء التركيب بشكل ضعيف، فإن حواف التغذية الراجعة تُحفز إعادة التحقيق في المكونات العلوية.
   • المرحلة الثالثة: التحسين المدفوع بالتغذية الراجعة. السياق الناتج عن الترك المرفوض (على سبيل المثال، "المعالج لا يقوم بأي عملية تحقق") يوجه النموذج اللغوي الكبير لإجراء بحث مستهدف عن ثغرات محددة (مثل تسمم النموذج الأولي - prototype pollution) بدلاً من المراجعة الواسعة.
   3. المرحلة الرابعة: الاستقرار. تنتشر الأدلة العلوية المعززة للأمام، مما يؤدي إلى دحض قوي للهدف العالمي. تفرغ قائمة العمل عندما لا تحدث أي زيادات صارمة أخرى في التقييم.

3. المساهمات الرئيسية

يقدم البحث ثلاث مساهمات رئيسية:

1. اقتراح إطار العمل: يقدم التفسير الوكيل كنهج مهيكل للتحليل المعتمد على الأدلة، مع تحديد مجال مناسب حيث تكون النماذج اللغوية الكبيرة ضرورية ولكن المطالبة المباشرة غير كافية.
2. النموذج الرسمي: يصيغ النموذج الجوهري، حيث يعرّف الرسم البيئي للتقييم، ونطاق التقييم، ومحولات العقد، وخوارزمية قائمة العمل.
3. توصيف مساحة التصميم: يستكشف مساحة التصميم، بما في ذلك:
   • شبكات التقييم (Assessment Lattices): مناقشة المقايضات بين الشبكات الخشنة (مثل الوجود/الغياب) والشبكات الدقيقة (مثل القوة، وأساس الثقة). يقدم AStratified، وهو نطاق يتتبع قوة الأدلة وأساس الثقة (مثل "نموذج فقط" مقابل "تم التحقق منه") بشكل منفصل.
   • إدارة الادعاءات: معالجة توحيد (canonicalization) الادعاءات، وحجمها، ونطاقها.
   • تصميم الاستعلام: التمييز بين استعلامات التقييم (الدعم/التفنيد) والاستعلامات التوليدية (اقتراح ادعاءات جديدة).
   • الإنهاء (Termination): إثبات أن الخوارزمية تنتهي للشبكات ذات الارتفاع المحدود مع توليد ادعاءات مقيد، حتى في وجود استجابات غير حتمية من النماذج اللغوية الكبيرة، بشرما كانت التحديثات رتيبة (عبر عملية الـ join).

4. النتائج والقيود

• النتائج: يقدم البحث مثالاً تطبيقياً (مراجعة أمنية لمعالج يحتوي على مكونات غامضة) يوضح كيف يقوم إطار العمل بتفكيك هدف، واستخدام حلقات التغذية الراجعة لتحسين البحث، والاستقرار على تقييم نهائي. ويظهر كيف يمكن للإطار اكتشاف أن هدفًا أمنيًا عالميًا قد انتُهك من خلال دمج أدلة ضعيفة من مصادر متعددة لتشكيل دحض قوي.
• القيود:
  • يصف البحث عملاً قيد التنفيذ. فهو لا يتضمن تنفيذًا عمليًا أو تقييمًا تجريبيًا.
  • يضمن إطار العمل الإنهاء والحدود، ولكنه لا يضمن الصحة (soundness) بالمعنى التقليدي (أي أنه لا يثبت صحة استنتاجات النموذج اللغوي الكبير). بل يجعل دور النموذج في الأدلة صريحًا وقابلاً للتدقيق.
  • لا يمكن لإطار العمل تصحيح وكيل يسيء باستمرار تقدير الأدلة؛ بل يجعل مثل هذه الأخطاء مرئية فقط.
  • يعتمد إثبات الإنهاء على افتراض أن الادعاءات لا يتم إلغاؤها أبدًا وأن التقييمات تزداد فقط عبر عملية الـ join. أما آليات مراجعة المعتقدات (خفض التقييمات) فقد نوقشت كعمل مستقبلي يتطلب استبدالًا محدودًا أو إعادة حساب دوري.

5. الأهمية

تكمن أهمية هذا العمل في محاولته جلب الانضباط الهيكلي إلى الاستدلال القائم على النماذج اللغوية الكبيرة في تحليل البرامج. ومن خلال الابتعاد عن نموذج "التوليد والتحقق" (الذي يتطلب مُحقِّقًا رسميًا لمخرجات النموذج) ونموذج "الأوراكل الاستدلالي" (حيث لا يمكن للنموذج التأثير على الصحة)، يستهدف التفسير الوكيل منطقة وسطى.

إنه مهم لـ التحليلات المعتمدة على الأدلة حيث:

• الحقائق ذات الصلة غير قابلة للصياغة الرسمية (مثل عقود API غير الرسمية، أو النشرات الأمنية).
• لا يوجد مُحقِّق كامل.
• يتطلب التحليل تركيب المعلومات من مصادر متنوعة وغير برمجية.

يحول إطار العمل النموذج اللغوي الكبير من مولد "صندوق أسود" إلى مكون محدود وقابل للتدقيق ضمن نظام تحليل أكبر. إنه يضمن أن التحليل يسير بطريقة منضبطة ومبدئية، مما يسمح بفصل الاهتمامات: يوفر النموذج اللغوي الأدلة، بينما تضمن الشبكة (lattice) أن التحليل محدود وقابل للتتبع. يهدف هذا النهج إلى إلهام المناقشات المستقبلية حول تصميم تقنيات قائمة على الأسس الرسمية للأنظمة الوكيلية في تحليل البرامج.