solidity cfg builder

الصلابة-CFG باني

منشئ الرسم البياني لتدفق التحكم للعقود الذكية للصلابة.

ملخص

تنشئ هذه الحزمة رسمًا بيانيًا لتدفق التحكم من عقود الصلابة. تعتبر الرسوم البيانية لتدفق التحكم مفيدة كتمثيل رسومي لدلالات البرامج ، وهي أساس العديد من أساليب التحليل الثابت لتحسين البرامج والتحقق منها. هذه الحزمة هي أساس نهج التحليل الثابت الذي أقوم بتطويره حاليًا.

تم تطوير Builder Salidity-CFG في Haskell ، باستخدام محلل بناء جملة الصلابة المستخدم في أداة التحقق من وقت التشغيل لـ Slidity Contractlarva. يتم تعبئة إصدار المحلل المستخدم في المشروع في المشروع.

تقوم رمز الصلابة المعطى هذه الأداة بإنشاء رسم بياني لتدفق التحكم في تدوين DOT ، والذي يمكن تصوره باستخدام GraphViz.

بناء الأداة

المتطلبات: Cabal v2.4.* (على سبيل المثال ، قم بتثبيت منصة Haskell الكاملة)

التجميع: اتبع التعليمات هنا

استخدام الأداة:

بالنسبة للنتائج الصحيحة ، تأكد دائمًا من أن رمز الصلابة يجمع مع مترجم صلابة.

لاستخدام الأداة ، تمرير موقع ملف الصلابة والموقع المفضل للإخراج إلى القابل للتنفيذ ، على سبيل المثال: التنفيذ:

".

رخصة

تم ترخيص هذا المشروع بموجب شروط ترخيص Apache 2.0.

TODO (انظر المشكلات للحصول على قائمة محدثة)

1. التعامل مع المعدلات وظيفة
2. السماح للخيار بتسوية CFGs مع مكالمات الوظائف (ضع في اعتبارك أيضًا ميراث التعاقد)
3. التعامل مع كتلة البيانات في نهاية تعريف الوظيفة
4. يتم تحليل الحدث الذي يدور حول استدعاء وظيفة. بعد العملية لإظهار الزناد من الحدث بشكل صريح.

---

الأسئلة الشائعة والمشاكل الشائعة

عند تجميع الكود ، أحصل على الخطأ: لم أتمكن من العثور على الوحدة النمطية "text.parsec".

تأكد من تثبيت Parsec. أيضًا ، راجع موضوع StackOverflow هذا (https://stackoverflow.com/questions/9058914/cant-find-parsec-modules-in-ghci)

كابال تثبيت parsec