From 5b7aa94d681a7d97ff1994ce3118410018f64fe5 Mon Sep 17 00:00:00 2001 From: luongnt95 Date: Tue, 25 Jul 2017 15:38:44 +0700 Subject: [PATCH] Update README.md --- README.md | 17 ++++++++++++++--- oyente/oyente.py | 3 ++- 2 files changed, 16 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index fc89a97d..acb335e0 100644 --- a/README.md +++ b/README.md @@ -20,17 +20,25 @@ and you are done! Note - If need the [version of Oyente](https://github.com/melonproject/oyente/tree/290f1ae1bbb295b8e61cbf0eed93dbde6f287e69) referred to in the paper, run the container from [here](https://hub.docker.com/r/hrishioa/oyente/) +## Installation + +To install Oyente, simply: + +``` +$ pip install oyente +``` + ## Full install ### Install the following dependencies -#### solc v0.4.13 +#### solc version 0.4.13 ``` $ sudo add-apt-repository ppa:ethereum/ethereum $ sudo apt-get update $ sudo apt-get install solc ``` -#### evm from [go-ethereum](https://github.com/ethereum/go-ethereum) version 1.6.1. +#### evm from [go-ethereum](https://github.com/ethereum/go-ethereum) version 1.6.1. 1. https://geth.ethereum.org/downloads/ or 2. By from PPA if your using Ubuntu @@ -72,6 +80,9 @@ pip install web3 #evaluate a local solidity contract python oyente.py -s +#evaluate a local solidity with option -a to verify assertions in the contract +pyhon oyente.py -a -s + #evaluate a local evm contract python oyente.py -s -b @@ -107,4 +118,4 @@ Some analytics regarding the number of contracts tested, number of contracts ana ## Contributing -Checkout out our [contribution guide](https://github.com/melonproject/oyente/blob/master/CONTRIBUTING.md) and the code structure [here](https://github.com/melonproject/oyente/blob/master/code.md). +Checkout out our [contribution guide](https://github.com/melonproject/oyente/blob/master/CONTRIBUTING.md) and the code structure [here](https://github.com/melonproject/oyente/blob/master/code.md). diff --git a/oyente/oyente.py b/oyente/oyente.py index 1396ea8b..ac03e25c 100755 --- a/oyente/oyente.py +++ b/oyente/oyente.py @@ -87,7 +87,7 @@ def analyze(processed_evm_file, disasm_file): # Run symExec symExec.main(disasm_file, args.source) - + def main(): # TODO: Implement -o switch. @@ -100,6 +100,7 @@ def main(): group.add_argument("-ru", "--remoteURL", type=str, help="Get contract from remote URL. Solidity by default. Use -b to process evm instead.", dest="remote_URL") + parser.add_argument("--version", action="version", version="oyente one-north 0.2.0") parser.add_argument( "-b", "--bytecode", help="read bytecode in source instead of solidity file.", action="store_true")