Mythril v0.19.10

• Multiple bugfixes
• Some detection modules were refactored to work with callbacks
• Gives minimal exploitable msg.value for each transaction
• fix issues with solc versions

Mythril v0.19.9

• Fix all dependence issues

Mythril v0.19.8

• 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

Mythril v0.19.7

• 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

Mythril v0.19.6

• Add gas simulation
• Fix a bug where SUICIDE instruction would delete account state
• Use z3 overflow checks to detect ADD / MUL overflows

Mythril v0.19.4

• Add compatibility with z3-solver 4.8.0.0
• Add a new CLI option to load contract creation bytecode
• Change default max-transaction-count to 2
• Change info log level to be less verbose
• Print errors via error logger instead of stdout
• Rewrite "Ether Thief" module
• Add type hints, refactoring and bugfixes

Mythril v0.18.13

• Multiple bugfixes
• add SWC ID

Mythril v0.18.12

• Multi transactional analysis
• Multiple bug fixes

Mythril v0.18.11

• Fixes multiple bugs
• Supports Codecopy instruction
• Supports function signatures for truffle.
• Faster search in local leveldb

Mythril v0.18.10

• Add a -V option to know the version
• Fixes search feature by sending correct hashes
• Fixes a bug in codecopy instruction