Skip to content
This repository has been archived by the owner on May 26, 2023. It is now read-only.

v0.1.0 - KentRidge
Compare
Choose a tag to compare
@inian inian released this 19 Jun 14:31
· 429 commits to master since this release
0.1.0
bcac7ac

This is our first official release of Oyente. Since the time of publication of the paper, the following was improved

  • more robust handling of different EVM opcodes with support of new opcodes like
  • unit tests
  • support newer versions of evm, solc and z3
  • more options for constraining symbolic execution such as LOOP_LIMIT and DEPTH_LIMIT
  • take in environmental information as input and work with external blockchains to speed up the symbolic execution
  • better formatting, logging and documentation
  • web interface for analyzing contracts
Assets 2
Loading