mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Bernhard Mueller
3a38593d7f
|
7 years ago | |
---|---|---|
.circleci | 7 years ago | |
mythril | 7 years ago | |
solidity_examples | 7 years ago | |
static | 7 years ago | |
tests | 7 years ago | |
.coveragerc | 7 years ago | |
.editorconfig | 7 years ago | |
.gitattributes | 7 years ago | |
.gitignore | 7 years ago | |
Dockerfile | 7 years ago | |
LICENSE | 7 years ago | |
MANIFEST.in | 7 years ago | |
Pipfile | 7 years ago | |
Pipfile.lock | 7 years ago | |
README.md | 7 years ago | |
all_tests.sh | 7 years ago | |
coverage_report.sh | 7 years ago | |
myth | 7 years ago | |
requirements.txt | 7 years ago | |
setup.py | 7 years ago | |
signatures.json | 7 years ago |
README.md
Mythril
Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. The analysis is based on laser-ethereum, a symbolic execution library for EVM bytecode.
Installation and setup
Build the Docker image:
$ git clone https://github.com/ConsenSys/mythril/
$ docker build mythril
Install from Pypi:
$ pip3 install mythril
See the Wiki for more detailed instructions.
Usage
Documentation has moved to the Wiki page.
Publications and Videos
- HITBSecConf 2018 - Smashing Ethereum smart contracts for fun and real profit
- HITBSecConf 2018 conference paper
- EDCon Toronto 2018 - Mythril: Find bugs and verify security properties in your contracts
Mythril is Hiring
ConsenSys Diligence is building a dedicated Mythril team. If you're a coder and/or Ethereum security enthusiast who wants to do interesting and challenging work for a decentralized organization, check out the open positions below. Feel free to apply though the form on the careers website. or ping b-mueller on Gitter.