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 (https://github.com/crytic/evm_cfg_builder/pull/30). On some codebases, evm-cfg-builder went from +2 minutes to 10 seconds
• Improve dispatcher recovery for solc >= 0.5.12 (https://github.com/crytic/evm_cfg_builder/pull/28)

Changed

• crytic-compile 0.1.13

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 (https://github.com/crytic/evm_cfg_builder/pull/19)
• Constantinople opcodes (https://github.com/crytic/evm_cfg_builder/pull/22)
• New flags (https://github.com/crytic/evm_cfg_builder/pull/26):
  • --export-abi file.json Export the contract's ABI
  • --disable-cfgSkip the CFG recovery (only the ABI is recovered)

Changed

• VSA optimizations (https://github.com/crytic/evm_cfg_builder/pull/25)

Fixed

• Non-payable contract support (https://github.com/crytic/evm_cfg_builder/pull/20)
• Multiple minor bugs (https://github.com/crytic/evm_cfg_builder/pull/18)

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

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