- New command line interface! **Support for the old CLI will be dropped with v0.22.0** - Refactor the storage implementation - Add transaction traces to text and markdown reports - Add support for EXTCODECOPY - Refactor Ether Thief module to account for different actors - Refactor the loop bound strategy extension - Simplify & refactor DoS module
0.21.3
Not secure
- Set active function name to 'constructor' during contract creation transaction - Fix crash during on-chain storage lookup
0.21.2
Not secure
- Introduce pruning via read/write dependency map (makes multi-tx analysis blazingly fast) - Introduce configurable loop bounds - Refactor integer overflow and underflow checks - Fix caller constraints in suicide, ether thief and delegatecall modules - Support export of transaction sequences - Fix calldata size for symbolic calldata