Name: oyente
Owner: ethereum
Description: The project has been moved to this new repo https://github.com/melonproject/oyente
Created: 2016-09-14 15:54:20.0
Updated: 2018-05-05 20:54:26.0
Pushed: 2017-03-18 16:29:15.0
Size: 62074
Language: Python
GitHub Committers
| User | Most Recent Commit | # Commits |
|---|
Other Committers
| User | Most Recent Commit | # Commits |
|---|
Note: The project has been moved to the new repo https://github.com/melonproject/oyente
A container with the dependencies set up and the blockchain snapshot installed can be found here.
To open the container, install docker and run:
valuate the greeter contract inside the container, run:
and you are done!
that's it! Run ```python oyente.py --help``` for a list of options.
aper
accompanying paper explaining the bugs detected by the tool can be found [here](http://www.comp.nus.edu.sg/~loiluu/papers/oyente.pdf).
iscellaneous Utilities
llection of the utilities that were developed for the paper are in `misc_utils`. Use them at your own risk - they have mostly been disposable.
generate-graphs.py` - Contains a number of functions to get statistics from contracts.
get_source.py` - The *get_contract_code* function can be used to retrieve contract source from [EtherScan](https://etherscan.io)
transaction_scrape.py` - Contains functions to retrieve up-to-date transaction information for a particular contract.
enchmarks
: This is an improved version of the tool used for the paper. Benchmarks are not for direct comparison.
un the benchmarks, it is best to use the docker container as it includes the blockchain snapshot necessary.
he container, run `batch_run.py` after activating the virtualenv. Results are in `results.json` once the benchmark completes.
benchmarks take a long time and a *lot* of RAM in any but the largest of clusters, beware.
analytics regarding the number of contracts tested, number of contracts analysed etc. is collected when running this benchmark.
Known Issues
ou encounter the `unhashable instance` error, please add the following to your `class AstRef(Z3PPObject):` in `/usr/lib/python2.7/dist-packages/z3.py`:
def hash(self):
return self.hash()
latest version of Z3 does support this, but some previous version does not.