Mythril
Symbolic-execution-based security analysis tool for EVM bytecode. Detects smart contract vulnerabilities.
About
Mythril is a security analysis tool designed for Ethereum smart contracts and other EVM-compatible blockchain applications. It helps developers and security auditors identify potential vulnerabilities in their code before deployment by employing advanced techniques like symbolic…
