Mythril v0.18.9

• Multiple bug fixes related to stack
• Ability to load all contracts from file
• Bug fix related to control flow graph

Mythril v0.18.8

• Blockchain Exploration: Search for all contracts and remove leveldb flag
• Laser SVM: Multiple bug fixes, and implementation changes
• Others: Remove version issues by supporting ethereum 2.3.2

Mythril v0.18.7

• Add max depth support when running on a truffle project
• Update jinja dependency.

Mythril v0.18.6

• Possible to search without building initial contract database
• Support search through large nets or large local leveldb data
• option to search for all contracts and not just the ones with non zero balance
• Some bug fixes

Mythril 0.18.5

• Laser SVM: Add support for precompiled contracts
• Laser SVM: Multiple bugfixes
• Mythril-CLI: Fix crashes when contracts contain non-ascii characters

Mythril 0.18.0

As of this release, laser-ethereum is included as part of the Mythril package.

v0.17.12

• Fix formatting of CFGs
• Fix a bug in laser-ethereum where function names where not correctly assigned to states
• SVM: Bugfix for symbolic memory index in op CALL & CALLCODE

Mythril 0.17.0

• SVM: Fix bugs in SLOAD and ADDRESS instructions
• SVM: Add taint analysis
• Refactor command line tool
• Improve integer overflow detection
• Multiple bugfixes

Mythril 0.16.24

• Fix an issue that cause false positives in integer overflow detection
• Explicitly satisfy RLP dependency
• Quick fix for re-enabling compatibilty to Python 3.4-3.5

Mythril 0.16.18

• Fix incorrect definition of MAX_UINT in integer overflow check
• Fix incorrect Z3 expression in integer overflow check