ConsenSysDiligence/mythril
کاربرد:
این ابزار یک ابزار تحلیل امنیتی مبتنی بر اجرای نمادین (symbolic execution) برای کدهای بایت‌کد EVM است. ️
Mythril آسیب‌پذیری‌های امنیتی در قراردادهای هوشمند ایجاد شده برای اتریوم و دیگر بلاکچین‌های سازگار با EVM را شناسایی می‌کند.
در چه شرایطی بهتره استفاده شود؟
وقتی می‌خوای قبل از استقرار قرارداد هوشمند، از امنیت کد اطمینان پیدا کنی.
بهتره در مراحل توسعه و تست استفاده شود، مخصوصاً وقتی دسترسی به کد منبع نیست و فقط بایت‌کد در دسترس هست.
چند مثال از موارد استفاده
- پیدا کردن باگ‌های معروف مثل reentrancy و integer overflow
- تحلیل قراردادهای دیگران برای ارزیابی امنیت قبل از تعامل مالی
- استفاده در خطوط CI/CD برای اسکن خودکار قراردادها در هر کامیت
- ##smart
- ##security
- ##Ethereum
- ##Mythril
- ##blockchain
- ##symbolic
- ##smart
- ##DeFi
- ##EVM
- ##vulnerability