lisa
0.1
تهدف ليزا (مكتبة التحليل الثابت) إلى تخفيف إنشاء وتنفيذ المحللين الثابتة بناءً على نظرية التفسير المجردة. توفر LISA محرك تحليل يعمل على تمثيل رسم توسيع عام لتدفق التحكم في البرنامج لتحليله. تم تصميم المترجمين المجردين في LISA لتحليل مثل هذا التمثيل ، مما يوفر بنية تحتية فريدة من نوعها لجميع المحللين الذين يعتمدون عليه.
يتلخص بناء محلل على ليزا في كتابة محلل أساسي للغة التي يهدف المرء إلى تحليلها وترجمة الكود المصدري أو الكود المترجمة نحو تمثيل الرسم البياني لتدفق التحكم في LISA. بعد ذلك ، يمكن تعريف الفحوصات البسيطة التي تكرر على النتائج التي توفرها التحليلات الدلالية لـ LISA لترجمة المعلومات الدلالية إلى تحذيرات يمكن أن تكون ذات قيمة للمستخدم النهائي.
لمزيد من المعلومات والوثائق والأدلة المفيدة ، راجع موقع المشروع!
تم تطوير LISA وصيانته بواسطة مجموعة البرمجيات والتحقق من النظام (SSV) @ Università ca 'foscari في البندقية ، إيطاليا. المساهمات الخارجية دائما موضع ترحيب! تحقق من إرشاداتنا المساهمة للحصول على معلومات حول كيفية المساهمة في ليزا.
توجه إلى صفحة الإصدارات للحصول على القائمة الكاملة للإصدارات.
تتوفر لقطة الالتزام الأخير بالفرع master دائمًا على حزم GitHub. كن على دراية بأنك ستحتاج إلى رمز وصول شخصي لاستخدام الحزم كخادم لحل التبعيات. يمكنك الرجوع إلى دليل GitHub الرسمي لـ Maven أو Gradle لمزيد من المعلومات.
