Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ConsenSys/mythril issues and pull requests

#1887 - Fix 'pragma solidity' parsing

Pull Request - State: open - Opened by gsalzer 6 days ago - 1 comment

#1886 - How to set creator account balance

Issue - State: open - Opened by funfun648 21 days ago

#1885 - Update z3-solver requirement from <=4.13.0.0,>=4.8.8.0 to >=4.8.8.0,<=4.13.3.0

Pull Request - State: open - Opened by dependabot[bot] 22 days ago - 1 comment
Labels: dependencies, python

#1884 - Update markupsafe requirement from <2.2.0 to <3.1.0

Pull Request - State: open - Opened by dependabot[bot] 22 days ago - 1 comment
Labels: dependencies, python

#1883 - Update z3-solver requirement from <=4.13.0.0,>=4.8.8.0 to >=4.8.8.0,<=4.13.2.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 2 comments
Labels: dependencies, python

#1882 - chore: fix symbol error

Pull Request - State: open - Opened by liangmulu about 2 months ago - 1 comment

#1881 - Bump py-evm from 0.10.1b1 to 0.10.1b2

Pull Request - State: open - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, python

#1880 - Handle newer solc-x versions

Pull Request - State: closed - Opened by norhh 2 months ago

#1879 - Fix container build: build svm-rs in upstream rust layer

Pull Request - State: closed - Opened by dbast 3 months ago - 4 comments

#1878 - Manual version pinning updates

Pull Request - State: closed - Opened by dbast 3 months ago

#1877 - Add pre-commit hook definition + test

Pull Request - State: closed - Opened by dbast 3 months ago

#1876 - Update rlp requirement from <4,>=3 to >=3,<5

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, python

#1875 - Update pyparsing requirement from <3,>=2.0.2 to >=2.0.2,<4

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, python

#1874 - Update py-solc-x requirement from <2.0.0 to <3.0.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, python

#1873 - Update hexbytes requirement from <0.3.0 to <1.3.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 2 comments
Labels: dependencies, python

#1872 - Update eth-hash requirement from <0.4.0,>=0.3.1 to >=0.3.1,<0.8.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 4 comments
Labels: dependencies, python

#1871 - Enable+apply isort via ruff/pre-commit

Pull Request - State: closed - Opened by dbast 3 months ago

#1870 - Enable dependabot

Pull Request - State: closed - Opened by dbast 3 months ago

#1869 - Drop un-used dependencies from requirements.txt

Pull Request - State: closed - Opened by dbast 3 months ago

#1868 - Update module-list.rst

Pull Request - State: closed - Opened by shikahJS 3 months ago - 1 comment

#1867 - Allow z3-solver<=4.13.0.0, streamline Dockerfile

Pull Request - State: closed - Opened by dbast 3 months ago - 2 comments

#1866 - chore: fix comment

Pull Request - State: closed - Opened by highcloudwind 3 months ago - 1 comment

#1865 - Run black + ruff via pre-commit, fix findings to reduce requirements.txt

Pull Request - State: closed - Opened by dbast 3 months ago - 4 comments

#1864 - Fully switch from mock to unittest.mock

Pull Request - State: closed - Opened by dbast 3 months ago - 1 comment

#1863 - Fix issues with statespace on solc 0.8.26

Pull Request - State: closed - Opened by norhh 3 months ago

#1862 - >> execution-timeout 300 >> Not working as expected

Issue - State: closed - Opened by shikahJS 3 months ago - 6 comments

#1861 - 🚩 Feature Request: NixOS Flake

Issue - State: open - Opened by CosasDePuma 3 months ago
Labels: Type: enhancement

#1860 - Supports Python3.12 and fixes some bugs

Pull Request - State: closed - Opened by norhh 4 months ago

#1859 - analyze with --graph or --statespace-json doesn't work

Issue - State: closed - Opened by Bac0nj 4 months ago - 3 comments
Labels: Type: bug 🐛

#1858 - How to get the selector in a analysis module

Issue - State: open - Opened by huzhanchi 4 months ago - 7 comments

#1857 - chore: Configure Renovate

Pull Request - State: closed - Opened by renovate[bot] 4 months ago - 1 comment

#1854 - Add transient storage

Pull Request - State: closed - Opened by norhh 7 months ago

#1853 - Incoherent overflow detection

Issue - State: open - Opened by gsalzer 7 months ago - 3 comments
Labels: Type: bug 🐛

#1852 - Fix a typo in Readme

Pull Request - State: closed - Opened by norhh 7 months ago - 1 comment

#1850 - Inconsistent results source vs bytecode

Issue - State: closed - Opened by gsalzer 7 months ago - 3 comments

#1849 - chore: fix some comments

Pull Request - State: closed - Opened by sellskin 7 months ago - 1 comment

#1848 - Fix a bug due to issues with balance

Pull Request - State: closed - Opened by norhh 8 months ago

#1847 - Mythril is very slow

Issue - State: open - Opened by JacobYiu 8 months ago - 1 comment

#1846 - fix typos

Pull Request - State: closed - Opened by xiaoxianBoy 8 months ago - 1 comment

#1845 - chore: remove repetitive words

Pull Request - State: closed - Opened by suchsoon 8 months ago - 1 comment

#1844 - Remove a partial feature

Pull Request - State: closed - Opened by norhh 8 months ago

#1843 - Add improved state merging

Pull Request - State: closed - Opened by norhh 8 months ago

#1842 - Missing support for transient storage opcodes

Issue - State: closed - Opened by JaakWeyrich 8 months ago - 1 comment
Labels: Type: enhancement

#1841 - Add new features

Pull Request - State: closed - Opened by norhh 8 months ago

#1840 - Unchecked return value not flagged

Issue - State: closed - Opened by gsalzer 8 months ago
Labels: Type: bug 🐛

#1837 - Mythril is producing one liner success report without details.

Issue - State: open - Opened by lipibpp 9 months ago - 1 comment

#1836 - Add additional analysis modules

Pull Request - State: closed - Opened by norhh 9 months ago

#1835 - Update z3

Pull Request - State: closed - Opened by norhh 9 months ago

#1834 - Inconsistency in the results of function seqeunce execution

Issue - State: closed - Opened by qiana0223 9 months ago - 23 comments
Labels: Type: bug 🐛

#1833 - Remove parallelisation

Pull Request - State: closed - Opened by norhh 9 months ago - 2 comments

#1832 - Reduce number of processes

Pull Request - State: closed - Opened by norhh 9 months ago

#1831 - Refactor code

Pull Request - State: closed - Opened by norhh 9 months ago

#1830 - Add summaries and additional bugfixes

Pull Request - State: closed - Opened by norhh 10 months ago

#1829 - Mythril 0.24.4 raises an error on macOS

Issue - State: closed - Opened by shikahJS 10 months ago - 2 comments
Labels: Type: bug 🐛

#1828 - Update cli.py

Pull Request - State: closed - Opened by anonymousdouble 10 months ago

#1827 - Update cli.py

Pull Request - State: closed - Opened by anonymousdouble 11 months ago - 6 comments

#1826 - Handle edge case when parsing

Pull Request - State: closed - Opened by norhh 11 months ago

#1825 - Does mythril have the following features

Issue - State: closed - Opened by zhangzone 11 months ago - 4 comments

#1824 - fix typos

Pull Request - State: closed - Opened by tranhoaison 12 months ago - 1 comment

#1823 - Change configuration

Pull Request - State: closed - Opened by norhh 12 months ago

#1821 - Mythril v0.24.2

Pull Request - State: closed - Opened by norhh 12 months ago

#1820 - Fix an edge case

Pull Request - State: closed - Opened by norhh 12 months ago

#1819 - DeclarationError: Identifier already declared.

Issue - State: closed - Opened by jasmeenPedalsup 12 months ago - 8 comments

#1818 - test do not merge

Pull Request - State: closed - Opened by Simps0nBart 12 months ago - 1 comment

#1817 - Fix a bug related to feature extraction

Pull Request - State: closed - Opened by norhh 12 months ago

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

Issue - State: open - Opened by itsabinashb about 1 year ago - 5 comments
Labels: Type: bug 🐛

#1815 - How to run custom plugin along with mythril?

Issue - State: closed - Opened by vineetaparodkar about 1 year ago - 1 comment

#1814 - Update mythril_config.py - Remove TODO

Pull Request - State: closed - Opened by Erlangshen219 about 1 year ago - 2 comments

#1813 - Mythril analyze returning AttributeError

Issue - State: open - Opened by baseddevblorp about 1 year ago - 2 comments

#1812 - Fix edge case w.r.t solc versions

Pull Request - State: closed - Opened by norhh about 1 year ago

#1811 - Handle edge case during feature extraction

Pull Request - State: closed - Opened by norhh about 1 year ago

#1810 - An incorrect warning result

Issue - State: open - Opened by sarser2048 about 1 year ago
Labels: Type: bug 🐛

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

Issue - State: closed - Opened by abhinandanudupa about 1 year ago - 7 comments
Labels: Type: bug 🐛

#1808 - Can't run analysis using Docker on M1 Mac

Issue - State: closed - Opened by RilRil about 1 year ago - 2 comments
Labels: Type: bug 🐛

#1807 - Update requirements.txt

Pull Request - State: closed - Opened by norhh about 1 year ago

#1806 - mythril install with last web3=6

Issue - State: open - Opened by solVlad about 1 year ago - 3 comments

#1805 - Fix edge case in integer module for 0.8.0

Pull Request - State: closed - Opened by norhh about 1 year ago

#1804 - Overflow analysis not respecting types smaller than `uint256`

Issue - State: open - Opened by ezulkosk about 1 year ago - 1 comment
Labels: Type: bug 🐛

#1800 - Test - Do Not Merge

Pull Request - State: closed - Opened by NaorYaa about 1 year ago - 2 comments

#1799 - Misc fixes

Pull Request - State: closed - Opened by norhh about 1 year ago

#1798 - Add rf based tx prioritiser

Pull Request - State: closed - Opened by norhh about 1 year ago

#1797 - Docker run on file directory using Foundry fails with unclear errors

Issue - State: open - Opened by VoR0220 about 1 year ago - 5 comments

#1796 - Update README.md

Pull Request - State: closed - Opened by ankushgoel27 about 1 year ago - 1 comment

#1795 - Update Readme.md

Pull Request - State: closed - Opened by norhh about 1 year ago

#1794 - Use recent cytoolz and move cython installation to setup.py

Pull Request - State: closed - Opened by norhh about 1 year ago

#1793 - Some Optimisations

Pull Request - State: closed - Opened by norhh about 1 year ago

#1792 - Update tox for 3.10

Pull Request - State: closed - Opened by norhh about 1 year ago

#1791 - Integer Vulnerabilities that Mythril can Detect but Fail to Detect

Issue - State: closed - Opened by qiana0223 over 1 year ago - 4 comments

#1790 - Mythril Installation Issue

Issue - State: open - Opened by ASD-Are over 1 year ago - 4 comments

#1789 - Fix link to suicide module

Pull Request - State: closed - Opened by unordered-set over 1 year ago - 2 comments

#1788 - rlp import error

Issue - State: closed - Opened by izcoser over 1 year ago - 1 comment

#1787 - Fix parsing of compiler version and reformat file

Pull Request - State: closed - Opened by abhinandanudupa over 1 year ago - 5 comments

#1786 - Use arm.xlarge

Pull Request - State: closed - Opened by norhh over 1 year ago

#1785 - Add feature extraction

Pull Request - State: closed - Opened by norhh over 1 year ago

#1784 - Fix bug in resolving log message of user assertion

Pull Request - State: closed - Opened by bre4kpo1nt over 1 year ago - 1 comment

#1783 - Fix bug in resolving log message of user assertion

Pull Request - State: closed - Opened by bre4kpo1nt over 1 year ago - 1 comment