Update mythril to 0.23.6

[pyup-bot]

This PR updates mythril from 0.22.19 to 0.23.6.

Changelog

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

Links

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

[pyup-bot]

Closing this in favor of #210