- improve external call analysis - fix dependency versions to prevent a dependency mismatch - disable effect check pattern in integer overflow detection module - refactor re entrancy detection and add missing vulnerability patterns
0.20.4
Not secure
- Source mapping bugfix - Added plugins and coverage strategy
0.20.3
Not secure
- Refactored Mythril.py file - Discovery time - Fix integer overflow false positive due to incorrect constraints - Removed unnecessary CFG dependency from analysis modules
0.20.2
Not secure
- Compatible with the constantinople hard fork
0.20.1
Not secure
- Fixed Line number issue - Error logs support for jsonv2 format - Various bug fixes - support integer overflows for EXP operation - Deprecate truffle - Reachability check - execution statistics in logs with -v4/-v5 options - Implemented BitVecFunc - Increased default depth to 50, and defaut search strategy is changed to bfs