Skip to content

Issues: ConsenSysDiligence/mythril

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

Clear current search query, filters, and sorts
109 Open 742 Closed
109 Open 742 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve SWC-114 message (transaction order)
#847 opened Dec 24, 2018 by rocky
Support unconstrained execution for both onchain and solidity contracts Type: enhancement
#456 opened Aug 18, 2018 by norhh 6 Months +
3
Creation unknown input size Component: laser
#464 opened Aug 20, 2018 by JoranHonig 6 Months +
1
Implement EVM version in LASER
#490 opened Aug 30, 2018 by GNSPS 6 Months +
@norhh
1
Tests for analysis modules Testing Type: enhancement
#517 opened Sep 18, 2018 by norhh
2
Mappings for multiple contract files Priority: low
#550 opened Oct 8, 2018 by JoranHonig
5
User-defined constraints Priority: low
#643 opened Oct 29, 2018 by nbanmp
Import has inconsistent behavior when constructor() has arguments Type: bug 🐛
#663 opened Nov 3, 2018 by cleanunicorn
2
Increase max_depth during constructor execution Priority: Medium Type: enhancement
#737 opened Nov 21, 2018 by muellerberndt
7
Refactor: Language module Priority: low Type: maintenance
#741 opened Nov 22, 2018 by JoranHonig
4 tasks
2
Allow CLI arguments for constructor creation Type: enhancement
#799 opened Dec 5, 2018 by mickayz
Improved Progress Reporting Priority: low Type: enhancement
#808 opened Dec 8, 2018 by nbanmp
Add input option to load ERC190 compliant package file for analysis Type: enhancement
#265 opened Jun 11, 2018 by fubuloubu 6 Months +
1
Fix versions in requirements and update them iteratively Type: enhancement
#820 opened Dec 11, 2018 by norhh
Rewrite Transaction Order Dependence and make it work with callbacks Priority: Medium Type: enhancement Type: maintenance
#860 opened Jan 2, 2019 by nbanmp
@norhh
Analysis Module: SWC-124 - Write to Arbitrary Storage Location Priority: Medium Type: enhancement
#861 opened Jan 2, 2019 by nbanmp v1
2
Array and String Arguments Type: enhancement
#878 opened Jan 10, 2019 by nbanmp
Upgrade delegatecall module to report calls with unstrained callee with a higher severity. Priority: Medium Type: enhancement
#922 opened Feb 13, 2019 by nbanmp
BLOCKHASH opcodes should return concrete results. Type: enhancement
#926 opened Feb 14, 2019 by nbanmp
3
mythril can't detect ether_thief in rubixi.sol in progress Priority: High Type: enhancement
#955 opened Mar 11, 2019 by norhh v1
@muellerberndt @JoranHonig
Move symbolic graph to plugin Component: laser in progress Priority: Medium Type: maintenance
#964 opened Mar 18, 2019 by JoranHonig v1
@JoranHonig
1
Separate evm specific logics from laser core Component: laser Priority: low Type: maintenance
#966 opened Mar 18, 2019 by JoranHonig v1
Support Auth check of tx.origin Type: enhancement
#976 opened Mar 27, 2019 by norhh v1
Add documentation for supported laser hooks Component: laser documentation Priority: Medium
#987 opened Apr 1, 2019 by JoranHonig v1
Request for Guidance on Mythril’s Code Transformation Process
#1890 opened Dec 10, 2024 by matheus-junio-da-silva
3
ProTip! Exclude everything labeled bug with -label:bug.