v0.3.1

0.3.1 - 2021-03-29

This release adds optimizations to the VSA and improves the dispatcher recovery for recent versions of solc

Added

• VSA optimizations (#30). On some codebases, evm-cfg-builder went from +2 minutes to 10 seconds
• Improve dispatcher recovery for solc >= 0.5.12 (#28)

Changed

• crytic-compile 0.1.13

v0.3.0

0.3.0 - 2019-11-22

This release adds crytic-compile support, allows recovery of the contract's ABI without computing the CFG, and improves the VSA.

Added

• crytic-compile support (#19)
• Constantinople opcodes (#22)
• New flags (#26):
  • --export-abi file.json Export the contract's ABI
  • --disable-cfgSkip the CFG recovery (only the ABI is recovered)

Changed

• VSA optimizations (#25)

Fixed

• Non-payable contract support (#20)
• Multiple minor bugs (#18)

v0.2.0

2019-02-01

v0.2.0 release

Bug Fixes

• Fixed an issue where incoming/outgoing edges were backwards
• Fixed a few encoding bugs

Features:

• API change: cfg.basic_blocks, cfg.functions, and cfg.instructions return lists instead of generators
• New API: CFG.entry_point
• cfg.*_from_addr API methods are now cfg.get_*_at methods

v0.1.0

2018-12-07

First public release

Features:

• CFG recovery of EVM bytecode using a dedicated Value Set Analysis
• Recovers functions names
• Recovers attributes (payable, view, pure)
• Outputs the CFG to a dot file
• Library API