karl icon indicating copy to clipboard operation
karl copied to clipboard

Published 20 hours ago • verified publisher icon cleanunicorn

Update mythril to 0.24.5

Open pyup-bot opened this issue 11 months ago • 0 comments

This PR updates mythril from 0.22.19 to 0.24.5.

Changelog

0.24.5

What's Changed
* Update cli.py by anonymousdouble in https://github.com/Consensys/mythril/pull/1828
* Add summaries and additional bugfixes by norhh in https://github.com/Consensys/mythril/pull/1830

New Contributors
* anonymousdouble made their first contribution in https://github.com/Consensys/mythril/pull/1828

**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.24.4...v0.24.5

0.24.4

What's Changed
* fix typos by tranhoaison in https://github.com/Consensys/mythril/pull/1824
* Handle edge case when parsing  by norhh in https://github.com/Consensys/mythril/pull/1826

New Contributors
* tranhoaison made their first contribution in https://github.com/Consensys/mythril/pull/1824

**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.24.3...v0.24.4

0.24.3

What's Changed
* Change configuration by norhh in https://github.com/Consensys/mythril/pull/1823
  - Lowers execution timeout
  - Restricts py-solc-x


**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.24.2...v0.24.3

0.24.2

What's Changed
* Update mythril_config.py - Remove TODO by Erlangshen219 in https://github.com/Consensys/mythril/pull/1814
* Fix a bug related to feature extraction by norhh in https://github.com/Consensys/mythril/pull/1817
* Fix an edge case by norhh in https://github.com/Consensys/mythril/pull/1820
* Mythril v0.24.2 by norhh in https://github.com/Consensys/mythril/pull/1821

New Contributors
* Erlangshen219 made their first contribution in https://github.com/Consensys/mythril/pull/1814

**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.24.1...v0.24.2

0.24.1

What's Changed
* Handle edge case during feature extraction  by norhh in https://github.com/Consensys/mythril/pull/1811
* Fix edge case w.r.t solc versions by norhh in https://github.com/Consensys/mythril/pull/1812


**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.24.0...v0.24.1

0.24.0

What's Changed
* Update Readme.md by norhh in https://github.com/Consensys/mythril/pull/1795
* Add rf based tx prioritiser by norhh in https://github.com/Consensys/mythril/pull/1798
* Misc fixes by norhh in https://github.com/Consensys/mythril/pull/1799
* Fix edge case in integer module for 0.8.0 by norhh in https://github.com/Consensys/mythril/pull/1805
* Update requirements.txt by norhh in https://github.com/Consensys/mythril/pull/1807
* Remove support for Python 3.6

**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.23.25...v0.24.0

0.23.25

What's Changed
* Add feature extraction by norhh in https://github.com/Consensys/mythril/pull/1785
* Fix bug in resolving log message of user assertion by bre4kpo1nt in https://github.com/Consensys/mythril/pull/1784
* Use arm.xlarge by norhh in https://github.com/Consensys/mythril/pull/1786
* Fix parsing of compiler version and reformat file by abhinandanudupa in https://github.com/Consensys/mythril/pull/1787
* Fix link to suicide module by unordered-set in https://github.com/Consensys/mythril/pull/1789
* Update tox for 3.10 by norhh in https://github.com/Consensys/mythril/pull/1792
* Use recent cytoolz and move cython installation to setup.py by norhh in https://github.com/Consensys/mythril/pull/1794

New Contributors
* bre4kpo1nt made their first contribution in https://github.com/Consensys/mythril/pull/1784
* abhinandanudupa made their first contribution in https://github.com/Consensys/mythril/pull/1787
* unordered-set made their first contribution in https://github.com/Consensys/mythril/pull/1789

**Full Changelog**: https://github.com/Consensys/mythril/compare/v0.23.24...v0.23.25

0.23.24

What's Changed
* Fix bug related to features function names https://github.com/ConsenSys/mythril/pull/1779
* refactor CLI in https://github.com/ConsenSys/mythril/pull/1779
* Add push0 and push tests by norhh in https://github.com/ConsenSys/mythril/pull/1781


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.23...v0.23.24

0.23.23

What's Changed
* Add pending constraints strategy and make it the default search strategy by norhh in https://github.com/ConsenSys/mythril/pull/1767
* Increase solver timeout by norhh in https://github.com/ConsenSys/mythril/pull/1768
* Arm64 Docker support by h4l in https://github.com/ConsenSys/mythril/pull/1770
* Fix z3 version by norhh in https://github.com/ConsenSys/mythril/pull/1771
* some fixes by A-23187 in https://github.com/ConsenSys/mythril/pull/1721
* parallelise test execution by norhh in https://github.com/ConsenSys/mythril/pull/1775

New Contributors
* h4l made their first contribution in https://github.com/ConsenSys/mythril/pull/1770
* A-23187 made their first contribution in https://github.com/ConsenSys/mythril/pull/1721

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.22...v0.23.23

0.23.22

What's Changed
* Misc bug fixes by norhh in https://github.com/ConsenSys/mythril/pull/1764
* Mythril v0.23.22 by norhh in https://github.com/ConsenSys/mythril/pull/1765


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.21...v0.23.22

0.23.21

What's Changed
* Fix the slowdown due to create going through every instruction by norhh in https://github.com/ConsenSys/mythril/pull/1762
* Mythril v0.23.21 by norhh in https://github.com/ConsenSys/mythril/pull/1763


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.20...v0.23.21

0.23.20

What's Changed
* Update test to large resource class in config.yml by norhh in https://github.com/ConsenSys/mythril/pull/1761
* Use threading during solving constraints by norhh in https://github.com/ConsenSys/mythril/pull/1760


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.19...v0.23.20

0.23.19

What's Changed
* Check for 'unchecked' before turning off Integer module by norhh in https://github.com/ConsenSys/mythril/pull/1757


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.18...v0.23.19

0.23.18

What's Changed
* Add other networks by norhh in https://github.com/ConsenSys/mythril/pull/1751
* Perform a nesting decoding by norhh in https://github.com/ConsenSys/mythril/pull/1754


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.17...v0.23.18

0.23.17

What's Changed
* fix returndata copy index by Notation in https://github.com/ConsenSys/mythril/pull/1739
* Fixed a typo in docs by saxenism in https://github.com/ConsenSys/mythril/pull/1740
* fix: pad function hashes to always be 8 characters by ToonVanHove in https://github.com/ConsenSys/mythril/pull/1741
* Add return value for exception in native calls by norhh in https://github.com/ConsenSys/mythril/pull/1743
* Add support to foundry by norhh in https://github.com/ConsenSys/mythril/pull/1744
* Hotfix for some unknown behavior with foundry by norhh in https://github.com/ConsenSys/mythril/pull/1745
* Misc fixes by norhh in https://github.com/ConsenSys/mythril/pull/1749
* Fix issue with memory extend by norhh in https://github.com/ConsenSys/mythril/pull/1750

New Contributors
* Notation made their first contribution in https://github.com/ConsenSys/mythril/pull/1739
* saxenism made their first contribution in https://github.com/ConsenSys/mythril/pull/1740
* ToonVanHove made their first contribution in https://github.com/ConsenSys/mythril/pull/1741

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.16...v0.23.17

0.23.16

What's Changed
* Fix: adapt description to match the sample command by gsalzer in https://github.com/ConsenSys/mythril/pull/1731
* Fixes issue with ext calls by norhh in https://github.com/ConsenSys/mythril/pull/1733
* Handle pragma parsing using pyparser by norhh in https://github.com/ConsenSys/mythril/pull/1737
* Mythril v0.23.16 by norhh in https://github.com/ConsenSys/mythril/pull/1738


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.15...v0.23.16

0.23.15

What's Changed
* Restrict precommit by norhh in https://github.com/ConsenSys/mythril/pull/1720
* Add support for fallback() and receive() functions for prioritising tx sequences by norhh in https://github.com/ConsenSys/mythril/pull/1723
* Update of bug template by gsalzer in https://github.com/ConsenSys/mythril/pull/1725
* Add support to older solc versions by norhh in https://github.com/ConsenSys/mythril/pull/1726
* Fix false positives on constructor by norhh in https://github.com/ConsenSys/mythril/pull/1729
* Mythril v0.23.15 by norhh in https://github.com/ConsenSys/mythril/pull/1730


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

0.23.13

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

0.23.12

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

0.23.11

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

0.23.10

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

0.23.9

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

0.23.8

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

0.23.7

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

0.23.6

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

0.23.5

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

0.23.4

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

0.23.3

What's Changed
* Handle CRLF line endings by norhh in https://github.com/ConsenSys/mythril/pull/1637
* Typo: External Calls now states correctly SWC-107 by ChristianC244 in https://github.com/ConsenSys/mythril/pull/1639
* Fix Bitvec issue by norhh in https://github.com/ConsenSys/mythril/pull/1641
* Fix issues with Bitvec by norhh in https://github.com/ConsenSys/mythril/pull/1642

New Contributors
* ChristianC244 made their first contribution in https://github.com/ConsenSys/mythril/pull/1639

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

0.23.2

What's Changed
* Correct comment by 72521 in https://github.com/ConsenSys/mythril/pull/1632
* Fix caching for exceptions module by norhh in https://github.com/ConsenSys/mythril/pull/1633
* Fix loop bound and other instruction performance issues by norhh in https://github.com/ConsenSys/mythril/pull/1635

New Contributors
* 72521 made their first contribution in https://github.com/ConsenSys/mythril/pull/1632

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.1...v0.23.2

0.23.1

What's Changed
* Fixed broken links in Analysis Modules of documentation by zobront in https://github.com/ConsenSys/mythril/pull/1622
* Fix graph command norhh in https://github.com/ConsenSys/mythril/pull/1625
* removes depth for jump by norhh in https://github.com/ConsenSys/mythril/pull/1628
* Use more precise modeling of return data by norhh in https://github.com/ConsenSys/mythril/pull/1630
* Fix misc issues for summaries by norhh in https://github.com/ConsenSys/mythril/pull/1631

New Contributors
* zobront made their first contribution in https://github.com/ConsenSys/mythril/pull/1622

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.0...v0.23.1

0.23.0

What's Changed
* Use better issue annotations for search by norhh in https://github.com/ConsenSys/mythril/pull/1615
* Fix misc issues related to summaries by norhh in https://github.com/ConsenSys/mythril/pull/1617
* Fix issue with cache during summaries by norhh in https://github.com/ConsenSys/mythril/pull/1619
* dead link by SharifElfouly in https://github.com/ConsenSys/mythril/pull/1616
* Fix issue with PluginSkipState by norhh in https://github.com/ConsenSys/mythril/pull/1620

New Contributors
* SharifElfouly made their first contribution in https://github.com/ConsenSys/mythril/pull/1616

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.22.43...v0.23.0

0.22.43

What's Changed
* Fix caching of issues across modules by norhh in https://github.com/ConsenSys/mythril/pull/1610
* Check versions before using integer module by norhh in https://github.com/ConsenSys/mythril/pull/1613
* use more secure approach to call docker by JoranHonig in https://github.com/ConsenSys/mythril/pull/1614


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.22.42...v0.22.43

0.22.42

What's Changed
* Handle constructor edge case by norhh in https://github.com/ConsenSys/mythril/pull/1600
* Fix NPM code block issue by norhh in https://github.com/ConsenSys/mythril/pull/1602
* Beam search by norhh in https://github.com/ConsenSys/mythril/pull/1606
* Support TX constraints and refactor CLI by norhh in https://github.com/ConsenSys/mythril/pull/1607
* Unrestrict z3 to 4.8.15.0 by norhh in https://github.com/ConsenSys/mythril/pull/1608


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.22.41...v0.22.42

0.22.41

What's Changed
* Fixes optimizer issue by norhh in https://github.com/ConsenSys/mythril/pull/1597


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.22.40...v0.22.41

0.22.40

What's Changed
* Init config dir by norhh in https://github.com/ConsenSys/mythril/pull/1595


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.22.39...v0.22.40

0.22.39

- Expand SQLite exception

0.22.38

- Support concolic execution

0.22.37

-  Support Summaries
- Support automatic pragmas
- Version restrictions

0.22.36

- Fixes issues with solc v0.8.8+
- Handle edge cases with symbolic bytecode
- Allow when solc is not installed.

0.22.35

- Fix issue with symbolic bytecode during create()
- Add tests for precompiles

0.22.34

- Fix leaking file descriptor
- Fix issue in cases of multiple function names

0.22.33

- Use concrete storage on onsite recursive calls
- Support symbolic bytecode execution
- Handle edge case in integer arithmetics
- Fix issues during bytecode creation

0.22.32

- Remove py-ethereum dependencies
- Fix error message when loader is not present

0.22.31

- Constructs new hash constraints during each solving attempt to handle sha3 more accurately
- Handle local client edge case
- Use symbolic `If` during on-chain sload()

0.22.30

- Circumvent plyvel
- Handle eth transfer issue
- Fix issue with STOP instruction

0.22.29

- Fix issues with integer arithemetic
- Fix issues with assertion failures

0.22.28

- Fix issues with opcodes
- Support native calls for delegate call
- Fix z3 constraint issue
- Fix source mapping for yul files

0.22.27

- Use the corresponding source file mappings over internal file solc mappings
- Add feature to support locating safe functions

0.22.26

-  Support BASEFEE opcode
- support Panic(uint256) calls on assert

0.22.25

- Fix bug related to potentialIssues 1507

0.22.24

- Fix issue with json standard format
- Fix issue with optimiser

0.22.23

- Support boolean storage
- Fix issue with internal false-positive addresses which are common to all the source files.

0.22.22

- Bugfix related to zero padding for strings
- call-depth related bugfixes
- Display logging error for decode errors

0.22.21

- Fix mypy issue

0.22.20

- Fixes issues with dependencies
- Throws a more meaningful error and infura-id is not used during on-chain analysis.
Links
  • PyPI: https://pypi.org/project/mythril
  • Changelog: https://data.safetycli.com/changelogs/mythril/
  • Repo: https://github.com/ConsenSys/mythril

pyup-bot avatar Mar 04 '24 17:03 pyup-bot