crytic/slither
کاربرد:
این ابزار یک تحلیل‌گر ایستا (Static Analyzer) برای زبان‌های Solidity و Vyper هست که به توسعه‌دهندگان کمک می‌کنه تا با یافتن باگ‌ها، آسیب‌پذیری‌ها و الگوهای نادرست در کد قراردادهای هوشمند، امنیت و کیفیت کد رو افزایش بدن. ️
در چه شرایطی بهتره استفاده شود؟
وقتی داری یک قرارداد هوشمند می‌نویسی و قبل از استقرار (Deployment) می‌خوای مطمئن بشی که کد تو آسیب‌پذیری جدی نداره، استفاده از Slither عالیه. همچنین در پروژه‌های بزرگ با همکاری تیم‌های مختلف، این ابزار می‌تونه به صورت خودکار در CI/CD گنجونده شود تا هر تغییری رو بررسی کنه.
چند مثال از موارد استفاده
تشخیص آسیب‌پذیری‌های شناخته شده مثل reentrancy، integer overflow و uninitialized storage
یافتن توابع اضافی یا غیرضروری که ممکنه هزینه گس رو افزایش بدن
بررسی کد در فرآیند بازبینی (Code Review) برای افزایش اعتماد به کیفیت کد
استفاده در تست خودکار برای پروژه‌های اوپن سورس یا تیم‌های توسعه حرفه‌ای
- ##SmartContractSecurity
- ##Solidity
- ##Vyper
- ##StaticAnalysis
- ##BlockchainSecurity
- ##Slither
- ##DeFi
- ##SmartContracts
- ##CodeAudit
- ##Web3