Update README.md

pull/41/head
Bernhard Mueller 7 years ago committed by GitHub
parent eaf7dbe7ea
commit 7fe1baad0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 8
      README.md

@ -85,6 +85,14 @@ Adding the `-l` flag will cause Mythril to automatically retrieve dependencies,
$ myth -x -a 0xEbFD99838cb0c132016B9E117563CB41f2B02264 -l -v1 $ myth -x -a 0xEbFD99838cb0c132016B9E117563CB41f2B02264 -l -v1
``` ```
### Speed vs. Coverage
The maximum recursion depth for the symbolic execution engine can be controlled with the `--max-depth` argument. The default value is 12. Lowering this value reduces the analysis time as well as the coverage / number of explored states.
```
$ myth --infura-mainnet -l -x -a 0xd780ae2bf04cd96e577d3d014762f831d97129d0 --max-depth 8
```
## Control flow graph ## Control flow graph
The `-g FILENAME` option generates an [interactive jsViz graph](http://htmlpreview.github.io/?https://github.com/b-mueller/mythril/blob/master/static/mythril.html): The `-g FILENAME` option generates an [interactive jsViz graph](http://htmlpreview.github.io/?https://github.com/b-mueller/mythril/blob/master/static/mythril.html):

Loading…
Cancel
Save