Consensys/mythril

Issues

• Request for Guidance on Mythril’s Code Transformation Process

  #1890 opened 15 days ago by matheus-junio-da-silva
  0

• Mythril Installation Issue

  #1790 opened a year ago by ASD-Are
  5

• Mythril fails to ignore 'pragma solidity' in comments and strings

  #1888 opened 2 months ago by gsalzer
  1

• How to set creator account balance

  #1886 opened 2 months ago by funfun648
  0

• analyze with --graph or --statespace-json doesn't work

  #1859 opened 4 months ago by Bac0nj
  3

• Stack filled with wrong data.

  #1759 opened 4 months ago by yaroslavyaroslav
  8

• >> execution-timeout 300 >> Not working as expected

  #1862 opened 5 months ago by shikahJS
  6

• 🚩 Feature Request: NixOS Flake

  #1861 opened 5 months ago by CosasDePuma
  0

• How to get the selector in a analysis module

  #1858 opened 6 months ago by huzhanchi
  7

• mythril install with last web3=6

  #1806 opened a year ago by solVlad
  3

• Mythril cannot properly detect remapped imports in dependencies

  #1856 opened 7 months ago by arherzf8er
  0

• Mythril is very slow

  #1847 opened 9 months ago by JacobYiu
  1

• Missing support for transient storage opcodes

  #1842 opened 8 months ago by JaakWeyrich
  1

• Incoherent overflow detection

  #1853 opened 8 months ago by gsalzer
  3

• Misspelled Rootstock in the repository's about section

  #1851 opened 8 months ago by Inspector-Butters
  0

• Inconsistent results source vs bytecode

  #1850 opened 9 months ago by gsalzer
  3

• Mythril 0.24.4 raises an error on macOS

  #1829 opened 9 months ago by shikahJS
  2

• Unchecked return value not flagged

  #1840 opened 9 months ago by gsalzer
  0

• Inconsistency in the results of function seqeunce execution

  #1834 opened 10 months ago by qiana0223
  23

• External call does not change the storage of the callee contract.

  #1838 opened 10 months ago by Just1ceP4rtn3r
  0

• Solc experienced a fatal error while running myth on a Foundry-based project importing an OpenZeppelin library

  #1839 opened 10 months ago by gabrielstoica
  2

• Mythril is producing one liner success report without details.

  #1837 opened 10 months ago by lipibpp
  1

• Mythril cannot identify imported openzeppelin contracts in foundry project.

  #1816 opened a year ago by itsabinashb
  5

• DeclarationError: Identifier already declared.

  #1819 opened a year ago by jasmeenPedalsup
  8

• Does mythril have the following features

  #1825 opened a year ago by zhangzone
  4

• Can't run analysis using Docker on M1 Mac

  #1808 opened a year ago by RilRil
  2

• How to run custom plugin along with mythril?

  #1815 opened a year ago by vineetaparodkar
  1

• Mythril analyze returning AttributeError

  #1813 opened a year ago by basedwdev
  2

• An incorrect warning result

  #1810 opened a year ago by sarser2048
  0

• `AttributeError: 'NoneType' object has no attribute 'get'` in `mythril/solidity/features.py`

  #1809 opened a year ago by abhinandanudupa
  7

• Overflow analysis not respecting types smaller than `uint256`

  #1804 opened a year ago by ezulkosk
  1

• Docker run on file directory using Foundry fails with unclear errors

  #1797 opened a year ago by VoR0220
  5

• API for mythril

  #1773 opened 2 years ago by Hagar-Usama
  2

• Integer Vulnerabilities that Mythril can Detect but Fail to Detect

  #1791 opened a year ago by qiana0223
  4

• How to make Mythril analyze all functions to their regular end at RETURN/STOP?

  #1777 opened 2 years ago by gsalzer
  26

• rlp import error

  #1788 opened a year ago by izcoser
  1

• Variable offset may uninitialized

  #1782 opened a year ago by kabeor
  3

• Incompatible with compiler version 0.8.20

  #1780 opened 2 years ago by bre4kpo1nt
  1

• Mythril docker container getting closed with code 0

  #1778 opened 2 years ago by patilchirag99
  3

• incorrect instruction list of the contract account

  #1772 opened 2 years ago by qiana0223
  6

• Not compatible with python3.11 - Traceback (most recent call last): File "/Library/Frameworks/Python.framework/Versions/3.11/bin/myth", line 5, in <module> from mythril.interfaces.cli import main

  #1769 opened 2 years ago by alyyashar
  1

• Question about the PC address reported by mythril

  #1766 opened 2 years ago by ShangzhiXu
  2

• TypeError: Object of type bytes is not JSON serializable during running analysis on file

  #1755 opened 2 years ago by D3athGr1p
  5

• Mythril does not report integer overflow bugs within unchecked blocks.

  #1756 opened 2 years ago by sunbeomso
  0

• How to get a list of integer conditions which are checked for in the code?

  #1753 opened 2 years ago by abhinandanudupa
  2

• False positive on string variable assignment

  #1752 opened 2 years ago by PiotrNestor
  0

• How to analyze onchain contracts by Mythril

  #1746 opened 2 years ago by c-kado
  1

• Call to external address does not put return data in memory.

  #1748 opened 2 years ago by ToonVanHove
  6

• mythril.interfaces.cli [ERROR]: Invalid detection module: reentrancy

  #1747 opened 2 years ago by joedakwa
  8

• STATICCALLS with symbolic arguments mess up the stack

  #1742 opened 2 years ago by ToonVanHove
  0