Search results

Too many false positives

Status: Open.

#1920 In ConsenSysDiligence/mythril;

· easyreconplus opened on Jan 23, 2026

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

Status: Open.

#1912 In ConsenSysDiligence/mythril;

· sbauer00 opened on Jul 29, 2025

myth analyze: Solidity program without assert triggers an assertion violation

Status: Open.

#1911 In ConsenSysDiligence/mythril;

· sbauer00 opened on Jul 29, 2025

Install using brew?

Status: Open.

#1910 In ConsenSysDiligence/mythril;

· vidhanmangla opened on Jul 15, 2025

Vulnerability found with Solidity 0.7 but not 0.8

Status: Open.

#1908 In ConsenSysDiligence/mythril;

· TheresaBo opened on Jun 7, 2025

Generation of a control flow graph with basic blocks

Status: Open.

#1905 In ConsenSysDiligence/mythril;

· merendamattia opened on May 5, 2025

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

Status: Open.

#1902 In ConsenSysDiligence/mythril;

· S0me1-dev opened on Apr 9, 2025

Request for Guidance on Mythril’s Code Transformation Process

Status: Open.

#1890 In ConsenSysDiligence/mythril;

· matheus-junio-da-silva opened on Dec 10, 2024

How to set creator account balance

Status: Open.

#1886 In ConsenSysDiligence/mythril;

· funfun648 opened on Oct 14, 2024

🚩 Feature Request: NixOS Flake

Type: enhancement

Status: Open.

#1861 In ConsenSysDiligence/mythril;

· CosasDePuma opened on Jul 24, 2024

How to get the selector in a analysis module

Status: Open.

#1858 In ConsenSysDiligence/mythril;

· 0xundef opened on Jul 9, 2024

Incoherent overflow detection

Type: bug 🐛

Status: Open.

#1853 In ConsenSysDiligence/mythril;

· gsalzer opened on Apr 15, 2024