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
36 Open 138 Closed
36 Open 138 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

🚩 Feature Request: NixOS Flake Type: enhancement
#1861 opened Jul 24, 2024 by CosasDePuma
Branch optimisation in progress Performance Issues related to performance problems/optimization Type: enhancement
#1699 opened Oct 19, 2022 by norhh
Handle ABI decoding Type: enhancement
#1653 opened Jul 26, 2022 by norhh
Does Mythril support detection of Locked Ether (Frozen Ether) vulnerability? security analysis Type: enhancement
#1604 opened Mar 14, 2022 by sujeetc
2
Support rpc for BSC Type: enhancement
#1565 opened Dec 3, 2021 by MrMegamind
3
Analyze solidity code for tron blockchain Type: enhancement
#1464 opened Mar 7, 2021 by fireridlle
3
feat: support seeding blockchain state Type: enhancement
#1361 opened Apr 8, 2020 by yxliang01
1
feat: full support for adding constraint to the issuing transactions Type: enhancement
#1360 opened Apr 8, 2020 by yxliang01
3
Feature request : please add Wapped Ether/ᴡᴇᴛʜ token support to the ether_thief.py module ! Type: enhancement
#1279 opened Nov 13, 2019 by ytrezq
10
Add a command line arg for no signature lookup Type: enhancement
#1278 opened Nov 12, 2019 by norhh
Feature Request : please add an option to get which inputs allows to reach a specific bytecode address. Type: enhancement
#1277 opened Nov 12, 2019 by ytrezq
11
Feature Request: Please support multithreading analysis! Type: enhancement
#1260 opened Oct 27, 2019 by ytrezq
13
Handle hash("") properly(or is it necessary?) Type: enhancement
#1256 opened Oct 24, 2019 by norhh
Feature request: Please allow to specify initial state when analysing Type: enhancement
#1245 opened Oct 17, 2019 by ytrezq
26
Add a method to check if two states are equivalent Component: laser Type: enhancement
#1187 opened Aug 7, 2019 by muellerberndt
ecrecover related bugs are not detected(Support for SWC-122) Type: enhancement
#1161 opened Jul 15, 2019 by HarryR
3
Verify annotation logic in dynamic pruning plugin Type: enhancement
#1093 opened Jun 21, 2019 by muellerberndt
feat: support only detect paths initiating from a function Type: enhancement
#1019 opened May 4, 2019 by yxliang01
4
Separate pre- and post-hook callbacks in detection module Type: enhancement
#1008 opened Apr 20, 2019 by Ooqu4
3
bug(UncheckedRetvalModule): overestimation of unchecked call Type: enhancement
#1007 opened Apr 19, 2019 by yxliang01
3
Support for multiline bug report Type: enhancement
#1001 opened Apr 10, 2019 by norhh
Support Auth check of tx.origin Type: enhancement
#976 opened Mar 27, 2019 by norhh v1
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
BLOCKHASH opcodes should return concrete results. Type: enhancement
#926 opened Feb 14, 2019 by nbanmp
3
Upgrade delegatecall module to report calls with unstrained callee with a higher severity. Priority: Medium Type: enhancement
#922 opened Feb 13, 2019 by nbanmp
ProTip! Mix and match filters to narrow down what you’re looking for.