Update mythril to 0.23.9

[pyup-bot]

This PR updates mythril from 0.22.19 to 0.23.9.

Changelog

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

Links

• PyPI: https://pypi.org/project/mythril
• Changelog: https://pyup.io/changelogs/mythril/
• Repo: https://github.com/ConsenSys/mythril