Анализ уязвимостей Solidity смарт-контрактов

★ 8.4 · security

analyzing-ethereum-smart-contract-vulnerabilities — это скилл для Claude Code, который выполняет статический и символический анализ Solidity смарт-контрактов с помощью Slither и Mythril для обнаружения уязвимостей reentrancy, integer overflow, ошибок контроля доступа и других классических проблем до развёртывания на Ethereum mainnet. Slither задействует промежуточное представление кода и более 90 встроенных детекторов для быстрой проверки паттернов, а Mythril применяет символическое выполнение и SMT-решатели для анализа сложных путей выполнения. Скилл охватывает запуск обоих инструментов, сопоставление и дедупликацию результатов, приоритизацию находок по степени эксплуатируемости и финансовому риску, а также формирование структурированного аудиторского отчёта с идентификаторами SWC, рейтингами серьёзности и рекомендациями по исправлению. Подходит для аудита DeFi-протоколов, команд безопасности SOC и разработчиков, которым нужно закрыть уязвимости смарт-контрактов до того, как они приведут к потерям средств.