Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update mythril to 0.24.7 #280

Closed
wants to merge 1 commit into from
Closed

Update mythril to 0.24.7 #280

wants to merge 1 commit into from

Conversation

pyup-bot
Copy link
Collaborator

@pyup-bot pyup-bot commented Mar 6, 2024

This PR updates mythril from 0.22.19 to 0.24.7.

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

@pyup-bot pyup-bot mentioned this pull request Mar 6, 2024
Closed
@pyup-bot
Copy link
Collaborator Author

Closing this in favor of #282

@pyup-bot pyup-bot closed this Mar 27, 2024
@cleanunicorn cleanunicorn deleted the pyup-update-mythril-0.22.19-to-0.24.7 branch March 27, 2024 23:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@pyup-bot