mythril

Mythril, EVM bytecode için sembolik yürütme tabanlı bir güvenlik analizi aracıdır. Ethereum ve diğer EVM uyumlu blok zincirleri üzerinde çalışan akıllı sözleşmelerdeki güvenlik açıklarını tespit eder. Python 3.7-3.10 sürümleriyle uyumludur ve Docker, pip veya pre-commit kancaları aracılığıyla kurulabilir.