This is the Linux app named Oyente whose latest release can be downloaded as v0.2.7-Commonwealth.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named Oyente with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS
Ad
Oyente
DESCRIPTION
A container with the required dependencies configured can be found here. The image is however outdated. We are working on pushing the latest image to dockerhub for your convenience. If you experience any issues with this image, please try to build a new docker image by pulling this codebase before open an issue. A 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. This is an improved version of the tool used for the paper. Benchmarks are not for direct comparison. To run the benchmarks, it is best to use the docker container as it includes the blockchain snapshot necessary. In the container, run batch_run.py after activating the virtualenv. Results are in results.json once the benchmark completes.
Features
- An Analysis Tool for Smart Contracts
- Evaluate the greeter contract inside the container
- Custom Docker image build
- Execute a python virtualenv
- Install Oyente via pip
- Install z3 using Python bindings
Programming Language
TypeScript
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/oyente.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
