Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

Consensys / mythril Public

Notifications You must be signed in to change notification settings
Fork 740
Star 3.9k

Code
Issues 109
Pull requests 6
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Releases: Consensys/mythril

Releases Tags

Releases · Consensys/mythril

Mythril v0.23.13

25 Dec 15:43

norhh

v0.23.13

921f395

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.13

What's Changed

Using cache search strategy by @norhh in #1714

Full Changelog: v0.23.12...v0.23.13

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.12

23 Nov 11:16

norhh

v0.23.12

2fb67f6

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.12

What's Changed

Add set tx counter and fix balances for summaries by @norhh in #1707
Use execution time for concolic execution by @norhh in #1709
Fix docs by @norhh in #1710
Mythril v0.23.12 by @norhh in #1711

Full Changelog: v0.23.11...v0.23.12

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.11

11 Nov 14:07

norhh

v0.23.11

8bc3726

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.11 Pre-release

Pre-release

What's Changed

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

New Contributors

@007vasy made their first contribution in #1694
@gsalzer made their first contribution in #1703

Full Changelog: v0.23.10...v0.23.11

Contributors

007vasy, gsalzer, and norhh

Assets 2

All reactions

Mythril v0.23.10

12 Sep 15:11

norhh

v0.23.10

21b3e92

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.10 Pre-release

Pre-release

What's Changed

Add resolved input to output by @norhh in #1679
Modify ABI output by @norhh in #1681
Fix ReturnData by @norhh in #1683
Fix JSON serialisation issue by @norhh in #1687
Mythril v0.23.10 by @norhh in #1688

Full Changelog: v0.23.9...v0.23.10

Contributors

norhh

Assets 2

m0ham3dx reacted with rocket emoji

All reactions

🚀 1 reaction

1 person reacted

Mythril v0.23.9

03 Sep 20:29

norhh

v0.23.9

1aaa28f

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.9 Pre-release

Pre-release

What's Changed

last_jump has type int but is used as type None. by @luca-digrazia in #1670
Handle issues with 'simplify' by @norhh in #1674
Handle OOG during CALL by @norhh in #1675
Mythril v0.23.9 by @norhh in #1677

New Contributors

@luca-digrazia made their first contribution in #1670

Full Changelog: v0.23.8...v0.23.9

Contributors

norhh and luca-digrazia

Assets 2

All reactions

Mythril v0.23.8

20 Aug 23:41

norhh

v0.23.8

8590de9

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.8 Pre-release

Pre-release

What's Changed

Handles issue with low constructor loop bound and new way to deal with solver-timeout by @norhh in #1668
Mythril v0.23.8 by @norhh in #1669

Full Changelog: v0.23.7...v0.23.8

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.7

16 Aug 06:30

norhh

v0.23.7

614ea8c

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.7 Pre-release

Pre-release

What's Changed

Fix OOG issue by @norhh in #1658
Fix issue with simplify by @norhh in #1660
Fix imports for python 3.10 by @norhh in #1661
Add exit code by @norhh in #1662
Remove additional python runs in tox by @norhh in #1663
Update docs and Add tutorial by @norhh in #1664

Full Changelog: v0.23.6...v0.23.7

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.6

02 Aug 04:35

norhh

v0.23.6

ca3218b

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.6 Pre-release

Pre-release

What's Changed

Fix issues with arbitrary jump dest by @norhh in #1654
Add partial abi support by @norhh in #1655

Full Changelog: v0.23.5...v0.23.6

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.5

19 Jul 01:49

norhh

v0.23.5

405277d

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.5 Pre-release

Pre-release

What's Changed

Deepcopy storage load and store sets by @norhh in #1648
Fix CI by @norhh in #1651
Add support for locking config file by @norhh in #1652

Full Changelog: v0.23.4...v0.23.5

Contributors

norhh

Assets 2

All reactions

Mythril v0.23.4

10 Jul 19:55

norhh

v0.23.4

06426c6

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23

Expired

Learn about vigilant mode.

Compare

Choose a tag to compare

View all tags

Mythril v0.23.4 Pre-release

Pre-release

What's Changed

Use latest blake2bpy, Fix version extraction by @norhh in #1644
Support py36 through py39 by @norhh in #1646
Add a get set for summaries by @norhh in #1647

Full Changelog: v0.23.3...v0.23.4

Contributors

norhh

Assets 2

All reactions

Previous 1 2 3 4 5 … 13 14 Next

Previous Next

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.