تحليل
إطار تحليل ثابت لبرامج .NET.
سمات:
- مستوى Bytecode
- لا حاجة لرمز المصدر
- يمكن تحليل المكتبات القياسية
- تمثيلات وسيطة
- تبسيط بايت
- ثلاثة رمز العنوان
- مهمة واحدة ثابتة
- تعبيرات مجمعة
- تحليل التدفق السيطرة
- طبيعي
- استثنائية
- هيمنة
- حدود الهيمنة
- حلقات طبيعية
- تحليل تدفق البيانات
- الوصول إلى التعاريف
- def-use and use-def stains
- متغيرات حية
- نسخ الانتشار
- إلى نقاط
- تحليل الدعوة
- التحولات
