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
$300 Free Credits for Your Google Cloud Projects Icon
$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
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