rust lisa
1.0.0
محلل ثابت قائم على التفسير التجريدي لصدأ بني على ليزا (مكتبة للتحليل الثابت)
يأتي Rustlisa كمشروع Gradle 6.6.
يتم التنمية في Eclipse. تحتاج إلى:
./rust-lisa/gradlew buildقم بتشغيل المشروع مع Java 11. ملاحظة: من أجل تشغيل Gradle ، يجب تشغيل المشروع اللازم مع Java 11 وليس إصدارًا أكبر .
لتشغيل المشروع باستخدام Eclipse ، يمكنك استخدام تشغيل تطبيق Java في Eclipse وتمرير مسار إلى ملف الصدأ كوسيطة أولى.
سيتم وضع النتيجة ضمن مجلد output ، والتي ستحتوي على جميع التقارير الممكّنة وملف .DOT مع LISA-CFG
يمكنك تشغيل مهمة Gradle الأخرى مع
./rust-lisa/gradlew -q :tasks --allقبل كل الالتزام ، من الضروري فتح فرع جديد مع
git checkout -b < branch-name >ثم يمكنك البدء في الالتزام في هذا الفرع. بمجرد الانتهاء ، تحتاج أولاً إلى الجري
./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApplyوارسل كل تغيير تم إجراؤه على الملفات.
بعد ذلك ، يمكنك فتح طلب سحب ، ووضع علامة على المراجعين وإضافة علامات حول العلاقات العامة ، أيضًا مع وصف قصير.
semantics كاملة من العقد الرسم البياني لتدفق الصدأ
