Mythril Versions Save

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

v0.23.13

1 year ago

What's Changed

Using cache search strategy by @norhh in https://github.com/ConsenSys/mythril/pull/1714

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.12...v0.23.13

v0.23.12

1 year ago

What's Changed

Add set tx counter and fix balances for summaries by @norhh in https://github.com/ConsenSys/mythril/pull/1707
Use execution time for concolic execution by @norhh in https://github.com/ConsenSys/mythril/pull/1709
Fix docs by @norhh in https://github.com/ConsenSys/mythril/pull/1710
Mythril v0.23.12 by @norhh in https://github.com/ConsenSys/mythril/pull/1711

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.11...v0.23.12

v0.23.11

1 year ago

What's Changed

add goerli to infura networks by @007vasy in https://github.com/ConsenSys/mythril/pull/1694
Support solc-args by @norhh in https://github.com/ConsenSys/mythril/pull/1698
Fix docker badge by @norhh in https://github.com/ConsenSys/mythril/pull/1700
Use deepcopy for jumpi by @norhh in https://github.com/ConsenSys/mythril/pull/1704
Fix issue #1702 (crash without internet) by @gsalzer in https://github.com/ConsenSys/mythril/pull/1703
Add transaction plugins for summary search strategy by @norhh in https://github.com/ConsenSys/mythril/pull/1705
Mythril v0.23.11 by @norhh in https://github.com/ConsenSys/mythril/pull/1706

New Contributors

@007vasy made their first contribution in https://github.com/ConsenSys/mythril/pull/1694
@gsalzer made their first contribution in https://github.com/ConsenSys/mythril/pull/1703

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.10...v0.23.11

v0.23.10

1 year ago

What's Changed

Add resolved input to output by @norhh in https://github.com/ConsenSys/mythril/pull/1679
Modify ABI output by @norhh in https://github.com/ConsenSys/mythril/pull/1681
Fix ReturnData by @norhh in https://github.com/ConsenSys/mythril/pull/1683
Fix JSON serialisation issue by @norhh in https://github.com/ConsenSys/mythril/pull/1687
Mythril v0.23.10 by @norhh in https://github.com/ConsenSys/mythril/pull/1688

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.9...v0.23.10

v0.23.9

1 year ago

What's Changed

last_jump has type int but is used as type None. by @luca-digrazia in https://github.com/ConsenSys/mythril/pull/1670
Handle issues with 'simplify' by @norhh in https://github.com/ConsenSys/mythril/pull/1674
Handle OOG during CALL by @norhh in https://github.com/ConsenSys/mythril/pull/1675
Mythril v0.23.9 by @norhh in https://github.com/ConsenSys/mythril/pull/1677

New Contributors

@luca-digrazia made their first contribution in https://github.com/ConsenSys/mythril/pull/1670

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.8...v0.23.9

v0.23.8

1 year ago

What's Changed

Handles issue with low constructor loop bound and new way to deal with solver-timeout by @norhh in https://github.com/ConsenSys/mythril/pull/1668
Mythril v0.23.8 by @norhh in https://github.com/ConsenSys/mythril/pull/1669

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.7...v0.23.8

v0.23.7

1 year ago

What's Changed

Fix OOG issue by @norhh in https://github.com/ConsenSys/mythril/pull/1658
Fix issue with simplify by @norhh in https://github.com/ConsenSys/mythril/pull/1660
Fix imports for python 3.10 by @norhh in https://github.com/ConsenSys/mythril/pull/1661
Add exit code by @norhh in https://github.com/ConsenSys/mythril/pull/1662
Remove additional python runs in tox by @norhh in https://github.com/ConsenSys/mythril/pull/1663
Update docs and Add tutorial by @norhh in https://github.com/ConsenSys/mythril/pull/1664

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.6...v0.23.7

v0.23.6

1 year ago

What's Changed

Fix issues with arbitrary jump dest by @norhh in https://github.com/ConsenSys/mythril/pull/1654
Add partial abi support by @norhh in https://github.com/ConsenSys/mythril/pull/1655

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.5...v0.23.6

v0.23.5

1 year ago

What's Changed

Deepcopy storage load and store sets by @norhh in https://github.com/ConsenSys/mythril/pull/1648
Fix CI by @norhh in https://github.com/ConsenSys/mythril/pull/1651
Add support for locking config file by @norhh in https://github.com/ConsenSys/mythril/pull/1652

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.4...v0.23.5

v0.23.4

1 year ago

What's Changed

Use latest blake2bpy, Fix version extraction by @norhh in https://github.com/ConsenSys/mythril/pull/1644
Support py36 through py39 by @norhh in https://github.com/ConsenSys/mythril/pull/1646
Add a get set for summaries by @norhh in https://github.com/ConsenSys/mythril/pull/1647

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.3...v0.23.4