How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify vulnerabilities in bytecode before deployment. It functions as a vulnerability scanner and formal auditor, treating program inputs as mathematical symbols to prove the presence of bugs in contract logic. The tool performs bytecode-level analysis to detect flaws that may be hidden by high-level compilers. It integrates SMT solvers to determine if specific vulnerability states are reachable and compares symbolic execution traces against a library of known security flaw signatures. T
EVM disassembler
The main features of arachnid/evmdis are: Security Analysis Tools.
Projects with overlapping indexed features include: consensys/mythril — Mythril is an Ethereum Virtual Machine smart contract security analyzer that uses symbolic execution to identify… crytic/ethersplay — EVM dissassembler. crytic/slither. factionsecurity/faction — Faction is now an OWASP Project! You can find more information here. ic3hydra/hydra — Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum. cdump/evmole.
