ConsenSysDiligence/mythril

View on GitHub

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

Stars: 4.3k
Forks: 819
Open beginner issues: 0
Indexed issues: 116

Dominant language: Python
License: MIT
Last GitHub push: Jan 31, 2025
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

116 open issues indexed

Add input option to load ERC190 compliant package file for analysis Open

Type: enhancement

ConsenSysDiligence/mythril#265 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detecting fixed points to reduce execution time Open

Performance Type: enhancement

ConsenSysDiligence/mythril#400 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Support unconstrained execution for both onchain and solidity contracts Open

Type: enhancement

ConsenSysDiligence/mythril#456 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Creation unknown input size Open

Component: laser

ConsenSysDiligence/mythril#464 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Implement EVM version in LASER Open

ConsenSysDiligence/mythril#490 · 1 comment · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Tests for analysis modules Open

Testing Type: enhancement

ConsenSysDiligence/mythril#517 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Mappings for multiple contract files Open

Priority: low

ConsenSysDiligence/mythril#550 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
User-defined constraints Open

Priority: low

ConsenSysDiligence/mythril#643 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Import has inconsistent behavior when `constructor()` has arguments Open

Type: bug 🐛

ConsenSysDiligence/mythril#663 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Increase max_depth during constructor execution Open

Priority: Medium Type: enhancement

ConsenSysDiligence/mythril#737 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Refactor: Language module Open

Priority: low Type: maintenance

ConsenSysDiligence/mythril#741 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Allow CLI arguments for constructor creation Open

Type: enhancement

ConsenSysDiligence/mythril#799 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improved Progress Reporting Open

Priority: low Type: enhancement

ConsenSysDiligence/mythril#808 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fix versions in requirements and update them iteratively Open

Type: enhancement

ConsenSysDiligence/mythril#820 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Improve SWC-114 message (transaction order) Open

ConsenSysDiligence/mythril#847 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Rewrite Transaction Order Dependence and make it work with callbacks Open

Priority: Medium Type: enhancement Type: maintenance

ConsenSysDiligence/mythril#860 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Analysis Module: SWC-124 - Write to Arbitrary Storage Location Open

Priority: Medium Type: enhancement

ConsenSysDiligence/mythril#861 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Array and String Arguments Open

Type: enhancement

ConsenSysDiligence/mythril#878 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Upgrade delegatecall module to report calls with unstrained callee with a higher severity. Open

Priority: Medium Type: enhancement

ConsenSysDiligence/mythril#922 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
BLOCKHASH opcodes should return concrete results. Open

Type: enhancement

ConsenSysDiligence/mythril#926 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
mythril can't detect ether_thief in rubixi.sol Open

in progress Priority: High Type: enhancement

ConsenSysDiligence/mythril#955 · 0 comments · 1 reaction · 1 assignee · Indexed Sep 15, 2026
Move symbolic graph to plugin Open

Component: laser in progress Priority: Medium Type: maintenance

ConsenSysDiligence/mythril#964 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Separate evm specific logics from laser core Open

Component: laser Priority: low Type: maintenance

ConsenSysDiligence/mythril#966 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Support Auth check of tx.origin Open

Type: enhancement

ConsenSysDiligence/mythril#976 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Add documentation for supported laser hooks Open

Component: laser documentation Priority: Medium

ConsenSysDiligence/mythril#987 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Output input validation errors in json output Open

in progress Priority: Medium

ConsenSysDiligence/mythril#992 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 15, 2026
Support for multiline bug report Open

Type: enhancement

ConsenSysDiligence/mythril#1001 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Re-entrancy create & create2 as external calls Open

ConsenSysDiligence/mythril#1005 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
bug(UncheckedRetvalModule): overestimation of unchecked call Open

Type: enhancement

ConsenSysDiligence/mythril#1007 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Separate pre- and post-hook callbacks in detection module Open

Type: enhancement

ConsenSysDiligence/mythril#1008 · 3 comments · 2 reactions · 0 assignees · Indexed Sep 15, 2026
Extend gas opcode Open

ConsenSysDiligence/mythril#1011 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
feat: support only detect paths initiating from a function Open

Type: enhancement

ConsenSysDiligence/mythril#1019 · 4 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
E: Version '9.0.1-2' for 'python3-pip' was not found Open

ConsenSysDiligence/mythril#1089 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Verify annotation logic in dynamic pruning plugin Open

Type: enhancement

ConsenSysDiligence/mythril#1093 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
ecrecover related bugs are not detected(Support for SWC-122) Open

Type: enhancement

ConsenSysDiligence/mythril#1161 · 3 comments · 4 reactions · 0 assignees · Indexed Sep 15, 2026
Mythril Front Running Module Open

ConsenSysDiligence/mythril#1162 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add a method to check if two states are equivalent Open

Component: laser Type: enhancement

ConsenSysDiligence/mythril#1187 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Mythril behaves inconsistently with doc when contract not specified Open

documentation

ConsenSysDiligence/mythril#1204 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Separate bytecode and creation calldata in mythril cli output Open

ConsenSysDiligence/mythril#1208 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Race conditions with config file Open

ConsenSysDiligence/mythril#1228 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
--execution-timeout fails Open

ConsenSysDiligence/mythril#1235 · 11 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Google Codelab Tutorial Open

documentation

ConsenSysDiligence/mythril#1238 · 1 comment · 3 reactions · 0 assignees · Indexed Sep 15, 2026
An error occurred after installing mythril: z3.z3types.Z3Exception: libz3.so not found. Open

ConsenSysDiligence/mythril#1241 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Feature request: Please allow to specify initial state when analysing Open

Type: enhancement

ConsenSysDiligence/mythril#1245 · 26 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Remove dependency from laser to mythril.analysis Open

ConsenSysDiligence/mythril#1254 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Cleanup mythril after the new hash modeling Open

Type: maintenance

ConsenSysDiligence/mythril#1255 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Handle hash("") properly(or is it necessary?) Open

Type: enhancement

ConsenSysDiligence/mythril#1256 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Please support ꜱᴡᴄ 127 Open

ConsenSysDiligence/mythril#1258 · 7 comments · 2 reactions · 0 assignees · Indexed Sep 15, 2026
Feature Request: Please support multithreading analysis! Open

Type: enhancement

ConsenSysDiligence/mythril#1260 · 13 comments · 7 reactions · 0 assignees · Indexed Sep 15, 2026
False Positive in swc 107 module. Open

false positive Type: bug 🐛

ConsenSysDiligence/mythril#1266 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

ConsenSysDiligence/mythril

Get new issues in your inbox