|
|
|
@ -7,7 +7,7 @@ |
|
|
|
|
[![Discord](https://img.shields.io/discord/481002907366588416.svg)](https://discord.gg/E3YrVtG) |
|
|
|
|
[![PyPI](https://badge.fury.io/py/mythril.svg)](https://pypi.python.org/pypi/mythril) |
|
|
|
|
[![Read the Docs](https://readthedocs.org/projects/mythril-classic/badge/?version=master)](https://mythril-classic.readthedocs.io/en/master/) |
|
|
|
|
[![Build Status](https://circleci.com/gh/Consensys/mythril.svg?style=shield)](https://circleci.com/gh/Consensys/mythril) |
|
|
|
|
[![CircleCI](https://dl.circleci.com/status-badge/img/gh/Consensys/mythril/tree/develop.svg?style=shield&circle-token=fd6738fd235f6c2d8e10234259090e3b05190d0e)](https://dl.circleci.com/status-badge/redirect/gh/Consensys/mythril/tree/develop) |
|
|
|
|
[![Sonarcloud - Maintainability](https://sonarcloud.io/api/project_badges/measure?project=mythril&metric=sqale_rating)](https://sonarcloud.io/dashboard?id=mythril) |
|
|
|
|
[![Pypi Installs](https://static.pepy.tech/badge/mythril)](https://pepy.tech/project/mythril) |
|
|
|
|
[![DockerHub Pulls](https://img.shields.io/docker/pulls/mythril/myth.svg)](https://cloud.docker.com/u/mythril/repository/docker/mythril/myth) |
|
|
|
@ -48,7 +48,7 @@ Or: |
|
|
|
|
$ myth analyze -a <contract-address> |
|
|
|
|
``` |
|
|
|
|
|
|
|
|
|
Specify the maximum number of transaction to explore with `-t <number>`. You can also set a timeout with `--execution-timeout <seconds>`. |
|
|
|
|
Specify the maximum number of transactions to explore with `-t <number>`. You can also set a timeout with `--execution-timeout <seconds>`. |
|
|
|
|
|
|
|
|
|
Here is an example of running Mythril on the file `killbilly.sol` which is in the `solidity_examples` directory for `3` transactions: |
|
|
|
|
|
|
|
|
|