{"repo":"ConsenSysDiligence/mythril","free":true,"listed":false,"github":"https://github.com/ConsenSysDiligence/mythril","clone":"git clone https://github.com/ConsenSysDiligence/mythril.git","description":"Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.","language":"Python","stars":4261,"topics":["security-analysis","ethereum","blockchain","smart-contracts","solidity","program-analysis","security","symbolic-execution"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Mythril Mythril is a symbolic-execution-based security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains. Whether you want to contribute, need support, or want to learn what we have cooking for the future, you can checkout diligence-mythx channel in ConsenSys Discord server. Installation and setup Get it with Docker: Install from Pypi (Python 3.7-3.10): Use it via pre-commit hook (replace $GIT TAG with real tag): Additionally, set args: [disassemble] or args: [read-storage] to use a different command than analyze . See the docs for more detailed instructions. Usage Run: Or: Specify the maximum number of transactions to explore with -t . You can also set a timeout with --execution-timeout . Here is an example of running Mythril on the file killbilly.sol which is in the solidity examples directory for 3 transactions: Instructions for using Mythril are found on the docs. For support or general discussions please checkout diligence-mythx channel in ConsenSys Discord server.. Building the Documentation Mythril's documentation is contained in the docs folder and is published to Read the Docs. It is based on Sphinx and can be built using the Makefile contained in the subdirectory: This will create a build output directory containing the HTML output. Alternatively, PDF documentation can be built with make latexpdf . The available output format options can be seen with make help . Vulnerabilit","default_branch":null,"files":null,"tree":[],"storefront":"/r/ConsenSysDiligence","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ConsenSysDiligence/mythril/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}