- Integer module callback refactor - Multiple bugfixes - Faster than the previous version by atleast 50% - More memory friendly - `--execution-timeout` can now be used to timeout the entire mythril's execution
0.19.11
Not secure
- Fixes bug with signatures.db - SMT abstraction - Callback refactor of delegatecall, exceptions, dependence_on_predictable_vars modules
0.19.10
Not secure
- Multiple bugfixes - Some detection modules were refactored to work with callbacks - Gives minimal exploitable msg.value for each transaction - fix issues with solc versions
0.19.9
Not secure
- Fix all dependence issues
0.19.8
Not secure
- New signature database implementation using SQLite - Finish implementation of callback support - Refactor module class structure - Refactor Ether Thief and External Calls to callback modules - Refactor suicide to callback pattern - LASER: Refactor to support changes in calldata - Use concrete addresses for creator and attacker - Rewrite External Calls module to properly use solver - LASER: Return concrete '0x0' for initialize storage if 'concrete' mode is set - Port test contracts to solc 0.5.0 - Make INFURA mainnet the default option in CLI - Many bug fixes
0.19.7
Not secure
- Refactor analysis modules - Separate detection module collection from LASER - Make transaction count a fixed parameter (-t / --transaction-count) - Add fresh signatures & refactor DB for large-file performane - Improve Ether Thief