yapall

تحليل مؤشر آخر لـ LLVM

Yapall هو تحليل مؤشر دقيق وقابل للتطوير لـ LLVM. يمكن استخدام إخراج Yapall لمجموعة متنوعة من مهام تحليل البرنامج ، بما في ذلك:

• إنشاء callgraphs مع معالجة دقيقة لمكالمات الوظائف غير المباشرة ومكالمات الطريقة الافتراضية
• تحليل دقيق للتحكم بين التحكم في التدفق
• الرد على استفسارات May-Alias

Yapall هو k-callsite حساس للتكوين k القابلة للتكوين ، الحقل ، المصفوفة ، وغير حساسة للتدفق ، ويؤدي بناء callgraph على وعيه. يابال مكتوب باستخدام الصعود وكذلك مواز للغاية.

لمزيد من المعلومات ، راجع الوثائق.

شكر وتقدير

تعتمد هذه المادة على العمل الذي تدعمه وكالة المشاريع البحثي المتقدمة للدفاع (DARPA) بموجب العقد رقم N66001-21-C-4023. أي آراء أو النتائج والاستنتاجات أو التوصيات المعبر عنها في هذه المادة هي آراء المؤلفين (المؤلفين) ولا تعكس بالضرورة وجهات نظر DARPA.

توزيع

بيان التوزيع أ. المعتمد للإصدار العام: التوزيع غير محدود.