cclyzerpp

cclyzer ++

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

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

Cclyzer ++ حساس للحقل وصفيف ، ويقوم ببناء callgraph أثناء التنقل ، ويدعم العديد من التكوينات المختلفة لحساسية السياق بما في ذلك حساسية k -callsite. لديها تحليلات قائمة على المجموعات (أسلوب Andersen) وتحليلات القائمة على التوحيد (Steensgaard Style). Cclyzer ++ مكتوب في Soufflé Datalog ، وبالتالي فهو متوازي للغاية. تم اشتقاق Cclyzer ++ من cclyzer.

راجع الوثائق لمزيد من المعلومات حول cczlyer ++ ، بما في ذلك أمثلة على إخراجها. الوثائق متاحة أيضا على الإنترنت.

إذا كنت تستخدم cclyzer ++ في عملك ، فيرجى تضمين الاستشهادات التالية:

• لانجستون باريت وسكوت مور. "Cclyzer ++: تحليل مؤشر قابل للتطوير ودقيق لـ LLVM." https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• جورج بالاتوراس ويانيس سماراجداكيس. "نقاط التحليل الحساسة للهيكل لـ C و C ++." في التحليل الثابت: الندوة الدولية 23 ، SAS 2016 ، أدنبرة ، المملكة المتحدة ، 8-10 سبتمبر 2016 ، الإجراءات 23 ، ص. 84-104. Springer Berlin Heidelberg ، 2016.

شكر وتقدير

تستند هذه المادة إلى العمل الذي تدعمه وكالة مشروع البحوث الجوية للولايات المتحدة الأمريكية والدفاع (DARPA) بموجب العقد رقم FA8750-19-C-0004. أي آراء أو نتائج واستنتاجات أو توصيات معبر عنها في هذه المواد هي آراء المؤلفين (المؤلفين) ولا تعكس بالضرورة وجهات نظر سلاح الجو الأمريكي أو DARPA. معتمدة للإفراج العام ، توزيع غير محدود.