العودة إلى الفهرس / الأمن
مراجعة أمان Solidity: تتبع مسارات الهجوم وأثر الأصول
استخدم الشيفرة والمترجم وسياق النشر لفحص المخاطر مع أدلة قابلة لإعادة الإنتاج.
المهارات
أكد المترجم والإصدارات والتبعيات ونموذج الوكيل والترقية وتهيئة الأدوار والأصول المحمية. تتبع كل مدخل خارجي حتى تغييرات الحالة أو التحويلات. افحص إعادة الدخول والدقة الحسابية وإعادة تشغيل التوقيعات وحدود التفويض ونتائج الاستدعاءات منخفضة المستوى وافتراضات الأوراكل. شغل اختبارات المشروع والتحليل الثابت وأضف اختباراً محلياً يعيد إنتاج كل عيب. راجع تخطيط التخزين وقيود التهيئة لمرة واحدة. اذكر مخاطر التشغيل أو الاقتصاد غير المغطاة. نجاح الأدوات ليس تدقيقاً أو ضمان أمان؛ لا تنشر ولا تنفذ معاملات.
الصلاحيات
المتطلبات السابقة
- لمراجعة صلاحيات Solidity وإعادة الدخول والحساب والاستدعاءات الخارجية ومخاطر الترقية.
- يلزم إصدار المترجم والتبعيات المثبتة وافتراضات النشر ونموذج الأصول والتهديد.
الصلاحيات
- يمكنها فحص العقود والاختبارات وتعديلها وتشغيل التحليل الثابت والاختبارات المحلية.
- عدم العثور على مشكلة لا يعني تدقيقاً؛ لا تنشر أو ترقِّ أو تنفذ معاملة.
القيود
تتبع مسارات الهجوم الممكنة وأثر الأصول وافحص تهيئة الأدوار والاستدعاءات والحماية من إعادة الدخول وتخطيط التخزين للترقية؛ يلزم تدقيق مستقل.
المصدر الأصلي المثبت
- المستودع
- wshobson/agents
- مسار الملف
- plugins/blockchain-web3/skills/solidity-security/SKILL.md
- الإيداع المثبت
46891e7e60da0e52baf1050b7b6391b64e84c6d9- تاريخ فحص المصدر
- 2026-10-14 · تمت المراجعة مقابل المصدر الأصلي المثبت
مقاييس المستودع
تعكس هذه القيم المستودع الأصلي كله، ولا تمثل إعجابات أو شعبية مهارة أو دليل منفرد.
- النجوم
- لم يُجمع
- التفرعات
- لم يُجمع
- وقت الرصد
- لم يُجمع
لا تتوفر لقطة مقاييس بعد.
الترخيص: MIT
الأدوات المتوافقة
Static analysis · Foundry/Hardhat tests · Slither or equivalent analyzer
الموضوع الرئيسي
اجعل سلوك الوكيل أكثر أماناً وأسهل للتحقق