eburger

القالب القائم على العقود الذكية المحلل الثابت

خلاف | المناقشات | طلب ميزة | ويكي | Twitter DM

ما هو إبورجر

Eburger هي أداة تحليل ثابت توفر وسيلة للاستعلام بسرعة وتحليل العقود الذكية للصلابة.

قم بإنشاء القالب الخاص بك

قم بتشغيل القالب الخاص بك

إن تشغيل المحللين الثابتين لن يفوز بك مسابقات. ما نقدمه بدلاً من ذلك مع Eburger هو القدرة على تدوير قوالب مخصصة مصممة مع مشروعك المدقق الحالي في دقائق (WIKI) مما يتيح لك تنظيم عمليات البحث الفريدة من خلال قاعدة الشفرة لتمكين عمليات التدقيق الخاصة بك.

• كيفية التثبيت
• كيفية الجري
  • كيفية التشغيل - بسيط
  • كيفية الجري - متقدم
• كيف تبدو؟
• دعم SARIF
• عمل جيثب
• القوالب المساهمة
• جدول المقارنة
• سمات
• ما المفقود

كيفية التثبيت

من PYPI

 pip3 install eburger
eburger -h

من المصدر

 git clone https://github.com/forefy/eburger.git
cd eburger
pip3 install .
eburger -h

كيفية الجري

أمثلة بسيطة

أبسط

 cd MyProject/
eburger
cat eburger-output.json

الإخراج sarif

eburger -f MyProject/ -o sarif

إخراج Markdown (الذي يمتد من دليل المشروع)

eburger -o markdown

مسح مركّز لملف واحد وتبعياته

eburger -f ../ProjectToScan/src/SomeContract.sol

طباعة عدد NSLOC فقط

eburger -f MyProject/ --nsloc

قم بتشغيل قوالب YAML مخصصة

eburger -t MyCustomYAMLs/ -f MyProject/

استخدام متقدم

الرجوع إلى الويكي.

كيف يبدو

هذا فيديو تجريبي

eburger.mov

إلى جانب eburger-output.json ، على سبيل المثال ، ستقوم على سبيل المثال أيضًا بإنشاء معلومات ممتدة تحت المجلد .eburger .

دعم SARIF

SARIF (تنسيق نتائج التحليل الثابت) هو تنسيق قياسي لنتائج أداة التحليل الثابت.

للحصول على واجهة المستخدم الرسومية التفاعلية مفتوحة في VSCode يمكنها العضوية والتفاعل مع النتائج الموجودة ، اتبع هذه الخطوات:

• قم بتثبيت extenstion من Microsoft View Views
• Run eburger --output sarif
• من داخل VSCODE ، انقر فوق ملف eburger-output.sarif الذي تم وضعه في دليل العمل

سيؤدي ذلك إلى فتح قائمة VSCODE التفاعلية مع المشكلات والوصف والملاحة لخطوط التعليمات البرمجية الضعيفة ، إلخ.

عمل جيثب

يتم دعم خطوط أنابيب CI من خلال إجراء GitHub Eburger-action ، فهو يساعد بشكل مستمر في تقييم الكود الخاص بك وعرض الأفكار المرتفعة على جزء أمان الريبو الخاص بك.

تفضل بزيارة صفحة الإجراء لمزيد من المعلومات.

القوالب المساهمة

يمكن إضافة القوالب عن طريق إنشاء ملفات YAML جديدة وإما تحميلها باستخدام eburger -t mytemplate.yaml . أو عن طريق وضعها تحت templates/ الدليل.

إذا كنت تفضل اللعب مع Eburger على المتصفح قبل التثبيت ، فيمكنك تجربة مثيل Notebook Jupyter المخصص:

إذا كنت تستخدم Eburger كحزمة Python (مثبتة عبر تثبيت PIP) ، يمكن العثور على موقع القوالب الحالي مع تشغيل pip3 show eburger أو عن طريق تشغيل الأداة على العقد ورؤية مسار القوالب المطبوعة على وحدة التحكم.

لكتابة القالب والوثائق الرجوع إلى الويكي.

جدول المقارنة

مقارنة بين المحللين الثابتة للصلابة التي تم صيانتها بنشاط / شائع

محلل ثابت	لغة	دقيقتين لكتابة قالب مخصص مع chatgpt	عمل جيثب	العديد من النتائج التي تم العثور عليها بالفعل قبل بدء المسابقة	تريد أن تأكل
إبورجر	بيثون	✅	✅		✅
انزلق	بيثون		✅	✅
4naly3er	TypeScript؟			✅
mythril	بيثون
أديرين	الصدأ

نسيت واحدة أو ارتكبت خطأ؟ افتح طلب سحب أو مشكلة :)

سمات

• دعم قالب YAML للاستعلام عن هيكل العقد ورفع رؤى عن أي مباريات
• منحنى التعلم السريع لإنشاء قوالب ، والقدرة على تخصيص القوالب لمشروع التدقيق الجاري الحالي
• Foundry و Hardhat دعم ❣
• SARIF Support & VSCODE GUI تكامل
• تكامل إجراءات github من خلال eBurger-action
• تقرير تخفيض
• توليد قالب مخصص سريع عبر مولد Templates GPT
• المجتمع والدعم المجاني عبر Discord

ما المفقود

ما هي الميزات التي ترغب في رؤيتها؟ دعنا نعرف!