الأبحاث المرتبطة بالكلمة المفتاحية: تحليل التلوث
-
NESA: تحليل البرامج الثابتة الرمزية العصبية العلائقية NESA: Relational Neuro-Symbolic Static Program Analysis
2026 | المؤلف: Chengpeng Wang وآخرون | المجلة: Proceedings of the ACM on software engineering. | المجال: البرمجيات (Software)تقدم ورقة البحث NESA، وهو إطار عمل عصبي رمزي تركيبي مصمم لتعزيز تحليل البرامج الثابتة من خلال تمكين أساليب قابلة للتخصيص وخالية من التجميع. تواجه طرق التحليل الثابت التقليدية قيودًا بسبب اعتمادها على التجميع ونقص المرونة. يتناول NESA هذه التحديات من خلال استخدام نماذج اللغة الكبيرة (LLMs) بالتزامن مع لغة سياسة تحليل متخصصة، وهي شكل…
