{
    "info": {
        "author": "Loi Luu",
        "author_email": "",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 4 - Beta",
            "Environment :: Console",
            "Intended Audience :: Developers",
            "Intended Audience :: End Users/Desktop",
            "Intended Audience :: Information Technology",
            "Intended Audience :: System Administrators",
            "License :: OSI Approved :: BSD License",
            "Operating System :: MacOS :: MacOS X",
            "Operating System :: POSIX",
            "Programming Language :: Python",
            "Topic :: Utilities"
        ],
        "description": "Oyente\n======\n\nAn Analysis Tool for Smart Contracts\n\n[![Gitter][gitter-badge]][gitter-url]\n[![License: GPL v3][license-badge]][license-badge-url]\n\n## Quick Start\n\nA container with the dependencies set up can be found [here](https://hub.docker.com/r/luongnguyen/oyente/).\n\nTo open the container, install docker and run:\n\n```\ndocker pull luongnguyen/oyente && docker run -i -t luongnguyen/oyente\n```\n\nTo evaluate the greeter contract inside the container, run:\n\n```\ncd /oyente/oyente && python oyente.py -s greeter.sol\n```\n\nand you are done!\n\nNote - 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/)\n\n## Installation\n\nInstall Oyente via pip:\n\n```\n$ pip2 install oyente\n```\nDependencies:\n[solc](https://github.com/melonproject/oyente#solc)\n[evm](https://github.com/melonproject/oyente#evm-from-go-ethereum)\n\n## Full installation\n\n### Install the following dependencies\n#### solc\n```\n$ sudo add-apt-repository ppa:ethereum/ethereum\n$ sudo apt-get update\n$ sudo apt-get install solc\n```\n\n#### evm from [go-ethereum](https://github.com/ethereum/go-ethereum)\n\n1. https://geth.ethereum.org/downloads/ or\n2. By from PPA if your using Ubuntu\n```\n$ sudo apt-get install software-properties-common\n$ sudo add-apt-repository -y ppa:ethereum/ethereum\n$ sudo apt-get update\n$ sudo apt-get install ethereum\n```\n\n#### [z3](https://github.com/Z3Prover/z3/releases) Theorem Prover version 4.5.0.\n\nDownload the [source code of version z3-4.5.0](https://github.com/Z3Prover/z3/releases/tag/z3-4.5.0)\n\nInstall z3 using Python bindings\n\n```\n$ python scripts/mk_make.py --python\n$ cd build\n$ make\n$ sudo make install\n```\n\n#### [Requests](https://github.com/kennethreitz/requests/) library\n\n```\npip install requests\n```\n\n#### [web3](https://github.com/pipermerriam/web3.py) library\n\n```\npip install web3\n```\n\n### Evaluating Ethereum Contracts\n\n```\n#evaluate a local solidity contract\npython oyente.py -s <contract filename>\n\n#evaluate a local solidity with option -a to verify assertions in the contract\npyhon oyente.py -a -s <contract filename>\n\n#evaluate a local evm contract\npython oyente.py -s <contract filename> -b\n\n#evaluate a remote contract\npython oyente.py -ru https://gist.githubusercontent.com/loiluu/d0eb34d473e421df12b38c12a7423a61/raw/2415b3fb782f5d286777e0bcebc57812ce3786da/puzzle.sol\n\n```\n\nAnd that's it! Run ```python oyente.py --help``` for a list of options.\n\n## Paper\n\nThe accompanying paper explaining the bugs detected by the tool can be found [here](http://www.comp.nus.edu.sg/~loiluu/papers/oyente.pdf).\n\n## Miscellaneous Utilities\n\nA collection of the utilities that were developed for the paper are in `misc_utils`. Use them at your own risk - they have mostly been disposable.\n\n1. `generate-graphs.py` - Contains a number of functions to get statistics from contracts.\n2. `get_source.py` - The *get_contract_code* function can be used to retrieve contract source from [EtherScan](https://etherscan.io)\n3. `transaction_scrape.py` - Contains functions to retrieve up-to-date transaction information for a particular contract.\n\n## Benchmarks\n\nNote: This is an improved version of the tool used for the paper. Benchmarks are not for direct comparison.\n\nTo run the benchmarks, it is best to use the docker container as it includes the blockchain snapshot necessary.\nIn the container, run `batch_run.py` after activating the virtualenv. Results are in `results.json` once the benchmark completes.\n\nThe benchmarks take a long time and a *lot* of RAM in any but the largest of clusters, beware.\n\nSome analytics regarding the number of contracts tested, number of contracts analysed etc. is collected when running this benchmark.\n\n## Contributing\n\nCheckout 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).\n\n\n[gitter-badge]: https://img.shields.io/gitter/room/melonproject/oyente.js.svg?style=flat-square\n[gitter-url]: https://gitter.im/melonproject/oyente?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge\n[license-badge]: https://img.shields.io/badge/License-GPL%20v3-blue.svg?style=flat-square\n[license-badge-url]: ./LICENSE\n\n\n",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/melonport/oyente",
        "keywords": "ethereum smart contracts",
        "license": "GPL",
        "maintainer": "",
        "maintainer_email": "",
        "name": "oyente",
        "package_url": "https://pypi.org/project/oyente/",
        "platform": "",
        "project_url": "https://pypi.org/project/oyente/",
        "project_urls": {
            "Homepage": "https://github.com/melonport/oyente"
        },
        "release_url": "https://pypi.org/project/oyente/0.2.7/",
        "requires_dist": [
            "requests",
            "web3",
            "z3-solver"
        ],
        "requires_python": "",
        "summary": "An analysis tool for smart contracts",
        "version": "0.2.7"
    },
    "last_serial": 3236648,
    "releases": {
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ca7fc7928411baa18d15ca3b7a2940c8",
                    "sha256": "f7359827c8df4f30b92e6a62360d8b1d66a849892458fe3a3063be9e60cfc189"
                },
                "downloads": -1,
                "filename": "oyente-0.2.0-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "ca7fc7928411baa18d15ca3b7a2940c8",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 39218,
                "upload_time": "2017-07-27T00:11:09",
                "url": "https://files.pythonhosted.org/packages/01/85/83b9c7055abe08d68af8d389e2b11dff7f1f3b37ee5e05f04ecb5be5b83a/oyente-0.2.0-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "3a77054ff1d2b517b83dccffdc102b1a",
                    "sha256": "f06269bd22b3cbce3d6dfd5784e95351b331fc9861693c6b432c1c149c3cc705"
                },
                "downloads": -1,
                "filename": "oyente-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "3a77054ff1d2b517b83dccffdc102b1a",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 31742,
                "upload_time": "2017-07-27T00:11:07",
                "url": "https://files.pythonhosted.org/packages/97/6f/6bde47043dc82967f31853c42ea8dfe12fbad5836305fe8100b84c501b64/oyente-0.2.0.tar.gz"
            }
        ],
        "0.2.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "d1c770d5df5b69b4d553751dc4cc10b9",
                    "sha256": "a4963a7791c5aa986d8b262c87b950d9bdf66a2b31b3fad654df2cd752a762aa"
                },
                "downloads": -1,
                "filename": "oyente-0.2.6-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "d1c770d5df5b69b4d553751dc4cc10b9",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 40235,
                "upload_time": "2017-08-22T03:17:21",
                "url": "https://files.pythonhosted.org/packages/4b/ae/a89b9cedd981d1463c9858597ab7eab719a168f62548d60617efccf2da69/oyente-0.2.6-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "6c0b7d9f6b26bc82d6e38cd7a9c9df1e",
                    "sha256": "fda69072a26e55b5fbfe31645261726e9e85631193fb22eae8784cbf5873d534"
                },
                "downloads": -1,
                "filename": "oyente-0.2.6.tar.gz",
                "has_sig": false,
                "md5_digest": "6c0b7d9f6b26bc82d6e38cd7a9c9df1e",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 32321,
                "upload_time": "2017-08-22T03:17:23",
                "url": "https://files.pythonhosted.org/packages/20/95/97a47862fb1b7c6808b218fdd412a22fb035f2d755487a1cf9468ad333aa/oyente-0.2.6.tar.gz"
            }
        ],
        "0.2.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "aa1755851daa907376ce8795073716cc",
                    "sha256": "458ce56f8e0d7744bed225c1a934d1fd1083bf204c5cd52235c42997aa58f9c5"
                },
                "downloads": -1,
                "filename": "oyente-0.2.7-py2-none-any.whl",
                "has_sig": false,
                "md5_digest": "aa1755851daa907376ce8795073716cc",
                "packagetype": "bdist_wheel",
                "python_version": "py2",
                "requires_python": null,
                "size": 43994,
                "upload_time": "2017-10-09T15:40:02",
                "url": "https://files.pythonhosted.org/packages/13/3c/52b8dee604cbdf35c1d65a141b779d9c14c8d313251c697b40a93f58d3d5/oyente-0.2.7-py2-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "98649fdea7e4a8236a5ef09392ff06c9",
                    "sha256": "370b28a5762ee1aae2adc59be3d71318a95a0ad5a83dd2a4cdddb6d10f35e2f3"
                },
                "downloads": -1,
                "filename": "oyente-0.2.7.tar.gz",
                "has_sig": false,
                "md5_digest": "98649fdea7e4a8236a5ef09392ff06c9",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 35048,
                "upload_time": "2017-10-09T15:40:06",
                "url": "https://files.pythonhosted.org/packages/4b/de/9ace109a3e07535782a8cc18607417cd5203be49f1f476938de0a5e74f57/oyente-0.2.7.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "aa1755851daa907376ce8795073716cc",
                "sha256": "458ce56f8e0d7744bed225c1a934d1fd1083bf204c5cd52235c42997aa58f9c5"
            },
            "downloads": -1,
            "filename": "oyente-0.2.7-py2-none-any.whl",
            "has_sig": false,
            "md5_digest": "aa1755851daa907376ce8795073716cc",
            "packagetype": "bdist_wheel",
            "python_version": "py2",
            "requires_python": null,
            "size": 43994,
            "upload_time": "2017-10-09T15:40:02",
            "url": "https://files.pythonhosted.org/packages/13/3c/52b8dee604cbdf35c1d65a141b779d9c14c8d313251c697b40a93f58d3d5/oyente-0.2.7-py2-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "98649fdea7e4a8236a5ef09392ff06c9",
                "sha256": "370b28a5762ee1aae2adc59be3d71318a95a0ad5a83dd2a4cdddb6d10f35e2f3"
            },
            "downloads": -1,
            "filename": "oyente-0.2.7.tar.gz",
            "has_sig": false,
            "md5_digest": "98649fdea7e4a8236a5ef09392ff06c9",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 35048,
            "upload_time": "2017-10-09T15:40:06",
            "url": "https://files.pythonhosted.org/packages/4b/de/9ace109a3e07535782a8cc18607417cd5203be49f1f476938de0a5e74f57/oyente-0.2.7.tar.gz"
        }
    ]
}