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

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow Oyente

Oyente Web Site

Other Useful Business Software
Build Securely on Azure with Proven Frameworks Icon
Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Download Now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Oyente!

Additional Project Details

Programming Language

TypeScript

Related Categories

TypeScript Frameworks, TypeScript Blockchain Software

Registered

2022-10-27