Mythril

- 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

- Set active function name to 'constructor' during contract creation transaction
- Fix crash during on-chain storage lookup

- 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

- Fixed docker container error
- Fixed requirements error
- Fixed logging

- Fixes false positives in Ether Thief module

- Implement balance modeling and symbolic sender variables
- Refactor security analysis modules
- Add detection for denial-of-service (SWC-128)
- Improve weak randomness detection (SWC-120)
- Improve detection of delegate call to untrusted targets (SWC-112)
- Apply execution timeout globally applied instead of splitting between transactions
- Upgrade Z3 dependency to stock z3-solver 4.8.5.0