Keylatch
سير العمل

سير عمل المراجعة الأمنية للعقود الذكية

03
مراجعة الرمز

مراجعة عقد الرمز محليًا

افتح المجلد، اقرأ الكود، شغّل الاختبارات، وتحقق من الفروقات قبل قبول التغييرات في ملفاتك الخاصة.

01

فتح المجلد

حدد مجلد المشروع في الدردشة.

02

عرض الملفات

اعرض ملفات العقد في الدليل.

03

قراءة الكود

اقرأ مصدر العقد الرئيسي.

04

تشغيل الاختبارات

شغّل أمر الاختبار و

مثال على سجل النتائج

findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending review

سجل نتائج بتنسيق نصي عادي يوضح النطاق، ونتائج الاختبار، ونتيجة محددة مع مستوى الخطورة والموقع لعقد الرمز.

تعلم خطوات مراجعة العقود الذكية

قراءة الكود والبحث فيه

يستخدم الوكيل list_dir و glob للعثور على جميع ملفات العقد في مجلد العمل الخاص بك، و read_file يفتح مصدر الكود الرئيسي للفحص. هذه هي البداية. يجد المراجعون الثغرات في العقود الذكية من خلال قراءة الكود يدويًا. يقوم بتشغيل grep للبحث عن كل استدعاء خارجي، وفحص الوصول، وتغيير الحالة عبر المشروع. ترى نتائج البحث فورًا في الدردشة للتحقق من كل سطر كود ذي صلة. فشل الأمان بعد النشر هو مصدر قلق رئيسي لأي بروتوكول منشور. تدعم خطوة المراجعة اليدوية هذه مراجعة أمنية منظمة للعقد الذكي قبل النشر. تعلم مراجعة العقود الذكية لفهم المنطق قبل أن يقترح الوكيل أي تغييرات على قاعدة الكود.

تشغيل الاختبارات والمراجعة

يستخدم الوكيل Shell لتشغيل أمر الاختبار وأمر الفحص الثابت على جهازك، لذا يحفظ المخرجات في ملف نصي للمرجعية ويعد النتائج. يمكنك مراجعة هذه الفروقات. تساعدك مراجعة هذه الفروقات على فهم عملية المراجعة بوضوح. يتضمن البدء في مراجعة solidity قراءة الكود يدويًا. تستخدم الأداة write_file لكتابة ملاحظات النتائج والإصلاحات المقترحة. تعرض لك الفرق قبل قبول أي تغييرات في ملفاتك. يمكنك التبديل إلى وضع Ask first للتوقف قبل كل إجراء يغير شيئًا. تؤكد نجاح الاختبارات أن الإصلاح يحل المشكلة، لكن الشخص لا يزال يراجع الفرق.

Keylatch لنظام Windows

ابدأ مراجعتك اليوم

تحميل Keylatch ↗