Repository Issue Activity (beta)

#1930 --custom-modules-directory is exposed by the CLI but has no effect

#1920 Too many false positives

#1671 Cant find Reentrancy bug using commandline - myth analyze -c contractData

#964 Move symbolic graph to plugin

#400 Detecting fixed points to reduce execution time

#1810 An incorrect warning result

#1912 `myth analyze`: Unhandled ValueError: invalid literal for int() with base 16: '0x'

#1911 `myth analyze`: Solidity program without assert triggers an assertion violation

#1910 Install using brew?

#1908 Vulnerability found with Solidity 0.7 but not 0.8

#1902 Failed building wheel for pyethash (Python 3.11 Win) install issue

#1905 Generation of a control flow graph with basic blocks

#1478 ParserError: Source "@openzeppelin/contracts/access/Ownable.sol" not found: File not found.

#1816 Mythril cannot identify imported openzeppelin contracts in foundry project.

#1752 False positive on string variable assignment

#1888 Mythril fails to ignore 'pragma solidity' in comments and strings

#1894 circlesi link results in an error

#1890 Request for Guidance on Mythril’s Code Transformation Process

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

#1790 Mythril Installation Issue

#1886 How to set creator account balance