Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Often times, when I run a simple analyze command on a smart contract, it is quick, other times it is very slow. Sometimes I am unable to use the command myth -h because it just hangs for some reason.
How to Reproduce
myth -h
myth analyze [contract].sol
Both of these give no output for a very long period of time.
-->
Expected behavior
Give results stating whether a contract is vulnerable or not
Description
Often times, when I run a simple analyze command on a smart contract, it is quick, other times it is very slow. Sometimes I am unable to use the command myth -h because it just hangs for some reason.
How to Reproduce
myth -h myth analyze [contract].sol Both of these give no output for a very long period of time.
-->
Expected behavior
Give results stating whether a contract is vulnerable or not
Screenshots