Mythril Installation Issue
ASD-Are opened this issue · 5 comments
Below it my attempt to install mythril, could someone please help me get around this issue. I have tried with some of the closed issues "cloning the project from the git is 1.23 and the latest version is 1.27", I don't know why it is not working for me. I am Using Windows 10, python 3.9.
C:\Users\USER\AppData\Local\Programs\Python\Python39\Lib\site-packages>pip install mythril
Collecting mythril
Using cached mythril-0.23.24-py3-none-any.whl
Requirement already satisfied: blake2b-py in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from mythril) (0.2.0)
Requirement already satisfied: coloredlogs>=10.0 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from mythril) (15.0.1)
Requirement already satisfied: coincurve>=13.0.0 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from mythril) (18.0.0)
Requirement already satisfied: cython in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from mythril) (3.0.0)
Collecting cytoolz<0.12.0 (from mythril)
Using cached cytoolz-0.11.2-cp39-cp39-win_amd64.whl
Requirement already satisfied: asn1crypto>=0.22.0 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from mythril) (1.5.1)
Collecting configparser>=3.5.0 (from mythril)
Obtaining dependency information for configparser>=3.5.0 from https://files.pythonhosted.org/packages/81/a3/0e5ed11da4b7770c15f6f319abf053f46b5a06c7d4273c48469b7899bd89/configparser-6.0.0-py3-none-any.whl.metadata
Using cached configparser-6.0.0-py3-none-any.whl.metadata (11 kB)
Collecting coverage<7.0,>6.0 (from mythril)
Using cached coverage-6.5.0-cp39-cp39-win_amd64.whl (188 kB)
Collecting py-ecc<5.0.0,>=1.4.7 (from mythril)
Using cached py_ecc-4.1.0-py3-none-any.whl (41 kB)
Collecting eth-abi<3.0.0,>=2.0.0b4 (from mythril)
Using cached eth_abi-2.2.0-py3-none-any.whl (28 kB)
Collecting eth-account<0.6.0,>=0.5.6 (from mythril)
Using cached eth_account-0.5.9-py3-none-any.whl (101 kB)
Collecting ethereum-input-decoder>=0.2.2 (from mythril)
Using cached ethereum_input_decoder-0.2.2-py3-none-any.whl
Collecting eth-hash<0.4.0,>=0.3.1 (from mythril)
Using cached eth_hash-0.3.3-py3-none-any.whl (8.9 kB)
Collecting eth-keyfile<0.6.0,>=0.5.1 (from mythril)
Using cached eth_keyfile-0.5.1-py3-none-any.whl (8.3 kB)
Collecting eth-keys<0.4.0,>=0.2.1 (from mythril)
Using cached eth_keys-0.3.4-py3-none-any.whl (21 kB)
Collecting eth-rlp<0.3.0,>=0.1.0 (from mythril)
Using cached eth_rlp-0.2.1-py3-none-any.whl (5.0 kB)
Collecting eth-typing<3.0.0,>=2.1.0 (from mythril)
Using cached eth_typing-2.3.0-py3-none-any.whl (6.2 kB)
Collecting eth-utils<2 (from mythril)
Using cached eth_utils-1.10.0-py3-none-any.whl (24 kB)
Collecting hexbytes<0.3.0 (from mythril)
Using cached hexbytes-0.2.3-py3-none-any.whl (6.4 kB)
Collecting jinja2>=2.9 (from mythril)
Using cached Jinja2-3.1.2-py3-none-any.whl (133 kB)
Collecting MarkupSafe<2.1.0 (from mythril)
Using cached MarkupSafe-2.0.1-cp39-cp39-win_amd64.whl (14 kB)
Collecting mock (from mythril)
Obtaining dependency information for mock from https://files.pythonhosted.org/packages/6b/20/471f41173930550f279ccb65596a5ac19b9ac974a8d93679bcd3e0c31498/mock-5.1.0-py3-none-any.whl.metadata
Using cached mock-5.1.0-py3-none-any.whl.metadata (3.0 kB)
Collecting mypy-extensions<1.0.0 (from mythril)
Using cached mypy_extensions-0.4.4-py2.py3-none-any.whl
Collecting persistent>=4.2.0 (from mythril)
Using cached persistent-5.0-cp39-cp39-win_amd64.whl (157 kB)
Collecting py-flags (from mythril)
Using cached py_flags-1.1.4-py3-none-any.whl (17 kB)
Collecting py-evm==0.5.0a1 (from mythril)
Using cached py_evm-0.5.0a1-py3-none-any.whl (273 kB)
Collecting py-solc-x (from mythril)
Using cached py_solc_x-1.1.1-py3-none-any.whl (15 kB)
Collecting py-solc (from mythril)
Using cached py_solc-3.2.0-py3-none-any.whl (12 kB)
Collecting pytest>=3.6.0 (from mythril)
Obtaining dependency information for pytest>=3.6.0 from https://files.pythonhosted.org/packages/33/b2/741130cbcf2bbfa852ed95a60dc311c9e232c7ed25bac3d9b8880a8df4ae/pytest-7.4.0-py3-none-any.whl.metadata
Using cached pytest-7.4.0-py3-none-any.whl.metadata (8.0 kB)
Collecting pyparsing<3,>=2.0.2 (from mythril)
Using cached pyparsing-2.4.7-py2.py3-none-any.whl (67 kB)
Collecting pytest-cov (from mythril)
Obtaining dependency information for pytest-cov from https://files.pythonhosted.org/packages/a7/4b/8b78d126e275efa2379b1c2e09dc52cf70df16fc3b90613ef82531499d73/pytest_cov-4.1.0-py3-none-any.whl.metadata
Using cached pytest_cov-4.1.0-py3-none-any.whl.metadata (26 kB)
Collecting pytest-mock (from mythril)
Obtaining dependency information for pytest-mock from https://files.pythonhosted.org/packages/da/85/80ae98e019a429445bfb74e153d4cb47c3695e3e908515e95e95c18237e5/pytest_mock-3.11.1-py3-none-any.whl.metadata
Using cached pytest_mock-3.11.1-py3-none-any.whl.metadata (3.8 kB)
Collecting requests (from mythril)
Obtaining dependency information for requests from https://files.pythonhosted.org/packages/70/8e/0e2d847013cb52cd35b38c009bb167a1a26b2ce6cd6965bf26b47bc0bf44/requests-2.31.0-py3-none-any.whl.metadata
Using cached requests-2.31.0-py3-none-any.whl.metadata (4.6 kB)
Collecting rlp<3 (from mythril)
Using cached rlp-2.0.1-py2.py3-none-any.whl (20 kB)
Collecting semantic-version (from mythril)
Using cached semantic_version-2.10.0-py2.py3-none-any.whl (15 kB)
Collecting transaction>=2.2.1 (from mythril)
Using cached transaction-3.1.0-py2.py3-none-any.whl (47 kB)
Collecting typing-extensions<4,>=3.7.4 (from mythril)
Using cached typing_extensions-3.10.0.2-py3-none-any.whl (26 kB)
Collecting z3-solver<4.12.2.0,>=4.8.8.0 (from mythril)
Using cached z3_solver-4.12.1.0-py2.py3-none-win_amd64.whl (58.2 MB)
Collecting matplotlib (from mythril)
Obtaining dependency information for matplotlib from https://files.pythonhosted.org/packages/c9/46/6cbaf20f5bd0e7c1d204b45b853c2cd317b303fada90245f2825ecca47de/matplotlib-3.7.2-cp39-cp39-win_amd64.whl.metadata
Using cached matplotlib-3.7.2-cp39-cp39-win_amd64.whl.metadata (5.8 kB)
Collecting pre-commit<2.21.0 (from mythril)
Using cached pre_commit-2.20.0-py2.py3-none-any.whl (199 kB)
Collecting certifi>=2020.06.20 (from mythril)
Obtaining dependency information for certifi>=2020.06.20 from https://files.pythonhosted.org/packages/4c/dd/2234eab22353ffc7d94e8d13177aaa050113286e93e7b40eae01fbf7c3d9/certifi-2023.7.22-py3-none-any.whl.metadata
Using cached certifi-2023.7.22-py3-none-any.whl.metadata (2.2 kB)
Collecting cached-property<2,>=1.5.1 (from py-evm==0.5.0a1->mythril)
Using cached cached_property-1.5.2-py2.py3-none-any.whl (7.6 kB)
Collecting eth-bloom<2.0.0,>=1.0.3 (from py-evm==0.5.0a1->mythril)
Using cached eth_bloom-1.0.4-py3-none-any.whl (5.4 kB)
Collecting lru-dict>=1.1.6 (from py-evm==0.5.0a1->mythril)
Obtaining dependency information for lru-dict>=1.1.6 from https://files.pythonhosted.org/packages/6b/40/c405c502e6ece3da4911c29dd94e63129e49c32ef02fc2148ab32ccba05f/lru_dict-1.2.0-cp39-cp39-win_amd64.whl.metadata
Using cached lru_dict-1.2.0-cp39-cp39-win_amd64.whl.metadata (4.6 kB)
Collecting pyethash<1.0.0,>=0.1.27 (from py-evm==0.5.0a1->mythril)
Using cached pyethash-0.1.27.tar.gz (38 kB)
Installing build dependencies ... done
Getting requirements to build wheel ... done
Preparing metadata (pyproject.toml) ... done
Collecting trie==2.0.0-alpha.5 (from py-evm==0.5.0a1->mythril)
Using cached trie-2.0.0a5-py3-none-any.whl (38 kB)
Collecting sortedcontainers<3,>=2.1.0 (from trie==2.0.0-alpha.5->py-evm==0.5.0a1->mythril)
Using cached sortedcontainers-2.4.0-py2.py3-none-any.whl (29 kB)
Requirement already satisfied: cffi>=1.3.0 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from coincurve>=13.0.0->mythril) (1.15.1)
Requirement already satisfied: humanfriendly>=9.1 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from coloredlogs>=10.0->mythril) (10.0)
Requirement already satisfied: toolz>=0.8.0 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from cytoolz<0.12.0->mythril) (0.12.0)
Collecting parsimonious<0.9.0,>=0.8.0 (from eth-abi<3.0.0,>=2.0.0b4->mythril)
Using cached parsimonious-0.8.1-py3-none-any.whl
Collecting bitarray<3,>=1.2.1 (from eth-account<0.6.0,>=0.5.6->mythril)
Obtaining dependency information for bitarray<3,>=1.2.1 from https://files.pythonhosted.org/packages/13/a6/1ceec7ef8a33bf3d35b9415cdc5b5d048d6f2f5b33983cbaa10b9c4ed860/bitarray-2.8.0-cp39-cp39-win_amd64.whl.metadata
Using cached bitarray-2.8.0-cp39-cp39-win_amd64.whl.metadata (33 kB)
Collecting pycryptodome<4.0.0,>=3.4.7 (from eth-keyfile<0.6.0,>=0.5.1->mythril)
Obtaining dependency information for pycryptodome<4.0.0,>=3.4.7 from https://files.pythonhosted.org/packages/3f/a1/72ad8fbeb2630e74fa89622ab24ec0ce46dc93dc172156f1a112eb76c014/pycryptodome-3.18.0-cp35-abi3-win_amd64.whl.metadata
Using cached pycryptodome-3.18.0-cp35-abi3-win_amd64.whl.metadata (3.4 kB)
Collecting zope.interface (from persistent>=4.2.0->mythril)
Using cached zope.interface-6.0-cp39-cp39-win_amd64.whl (204 kB)
Collecting cfgv>=2.0.0 (from pre-commit<2.21.0->mythril)
Using cached cfgv-3.3.1-py2.py3-none-any.whl (7.3 kB)
Collecting identify>=1.0.0 (from pre-commit<2.21.0->mythril)
Obtaining dependency information for identify>=1.0.0 from https://files.pythonhosted.org/packages/63/53/6e728e41c2fc620f020cff3e9c8c36f24a1b9be5e983f1bc3778e8609a34/identify-2.5.26-py2.py3-none-any.whl.metadata
Using cached identify-2.5.26-py2.py3-none-any.whl.metadata (4.4 kB)
Collecting nodeenv>=0.11.1 (from pre-commit<2.21.0->mythril)
Obtaining dependency information for nodeenv>=0.11.1 from https://files.pythonhosted.org/packages/1a/e6/6d2ead760a9ddb35e65740fd5a57e46aadd7b0c49861ab24f94812797a1c/nodeenv-1.8.0-py2.py3-none-any.whl.metadata
Using cached nodeenv-1.8.0-py2.py3-none-any.whl.metadata (21 kB)
Collecting pyyaml>=5.1 (from pre-commit<2.21.0->mythril)
Obtaining dependency information for pyyaml>=5.1 from https://files.pythonhosted.org/packages/84/4d/82704d1ab9290b03da94e6425f5e87396b999fd7eb8e08f3a92c158402bf/PyYAML-6.0.1-cp39-cp39-win_amd64.whl.metadata
Using cached PyYAML-6.0.1-cp39-cp39-win_amd64.whl.metadata (2.1 kB)
Collecting toml (from pre-commit<2.21.0->mythril)
Using cached toml-0.10.2-py2.py3-none-any.whl (16 kB)
Collecting virtualenv>=20.0.8 (from pre-commit<2.21.0->mythril)
Obtaining dependency information for virtualenv>=20.0.8 from https://files.pythonhosted.org/packages/14/19/e266f07cf55155d5f45170bbe08c486d8a9a9ae17bc8983acb1c019a8dd4/virtualenv-20.24.2-py3-none-any.whl.metadata
Using cached virtualenv-20.24.2-py3-none-any.whl.metadata (4.5 kB)
Collecting iniconfig (from pytest>=3.6.0->mythril)
Using cached iniconfig-2.0.0-py3-none-any.whl (5.9 kB)
Collecting packaging (from pytest>=3.6.0->mythril)
Using cached packaging-23.1-py3-none-any.whl (48 kB)
Collecting pluggy<2.0,>=0.12 (from pytest>=3.6.0->mythril)
Obtaining dependency information for pluggy<2.0,>=0.12 from https://files.pythonhosted.org/packages/51/32/4a79112b8b87b21450b066e102d6608907f4c885ed7b04c3fdb085d4d6ae/pluggy-1.2.0-py3-none-any.whl.metadata
Using cached pluggy-1.2.0-py3-none-any.whl.metadata (4.4 kB)
Collecting exceptiongroup>=1.0.0rc8 (from pytest>=3.6.0->mythril)
Obtaining dependency information for exceptiongroup>=1.0.0rc8 from https://files.pythonhosted.org/packages/fe/17/f43b7c9ccf399d72038042ee72785c305f6c6fdc6231942f8ab99d995742/exceptiongroup-1.1.2-py3-none-any.whl.metadata
Using cached exceptiongroup-1.1.2-py3-none-any.whl.metadata (6.1 kB)
Collecting tomli>=1.0.0 (from pytest>=3.6.0->mythril)
Using cached tomli-2.0.1-py3-none-any.whl (12 kB)
Collecting colorama (from pytest>=3.6.0->mythril)
Using cached colorama-0.4.6-py2.py3-none-any.whl (25 kB)
Collecting contourpy>=1.0.1 (from matplotlib->mythril)
Obtaining dependency information for contourpy>=1.0.1 from https://files.pythonhosted.org/packages/a5/d6/80258c2759bd34abe267b5d3bc6300f7105aa70181b99d531283f7e7c79e/contourpy-1.1.0-cp39-cp39-win_amd64.whl.metadata
Using cached contourpy-1.1.0-cp39-cp39-win_amd64.whl.metadata (5.7 kB)
Collecting cycler>=0.10 (from matplotlib->mythril)
Using cached cycler-0.11.0-py3-none-any.whl (6.4 kB)
Collecting fonttools>=4.22.0 (from matplotlib->mythril)
Obtaining dependency information for fonttools>=4.22.0 from https://files.pythonhosted.org/packages/43/e9/b4e233c841a90a45e7ebfea972f286e1f3ae3dc62e0f95de664359fb5dd0/fonttools-4.41.1-cp39-cp39-win_amd64.whl.metadata
Using cached fonttools-4.41.1-cp39-cp39-win_amd64.whl.metadata (153 kB)
Collecting kiwisolver>=1.0.1 (from matplotlib->mythril)
Using cached kiwisolver-1.4.4-cp39-cp39-win_amd64.whl (55 kB)
Collecting numpy>=1.20 (from matplotlib->mythril)
Obtaining dependency information for numpy>=1.20 from https://files.pythonhosted.org/packages/86/c7/f92afdefa2bccdf0bc357321a931adafb1a999bc84f8877a6ed786a69ccc/numpy-1.25.1-cp39-cp39-win_amd64.whl.metadata
Using cached numpy-1.25.1-cp39-cp39-win_amd64.whl.metadata (5.7 kB)
Collecting pillow>=6.2.0 (from matplotlib->mythril)
Obtaining dependency information for pillow>=6.2.0 from https://files.pythonhosted.org/packages/8f/b8/1bf1012eee3059d150194d1fab148f553f3df42cf412e4e6656c772afad9/Pillow-10.0.0-cp39-cp39-win_amd64.whl.metadata
Using cached Pillow-10.0.0-cp39-cp39-win_amd64.whl.metadata (9.6 kB)
Collecting python-dateutil>=2.7 (from matplotlib->mythril)
Using cached python_dateutil-2.8.2-py2.py3-none-any.whl (247 kB)
Collecting importlib-resources>=3.2.0 (from matplotlib->mythril)
Obtaining dependency information for importlib-resources>=3.2.0 from https://files.pythonhosted.org/packages/29/d1/bed03eca30aa05aaf6e0873de091f9385c48705c4a607c2dfe3edbe543e8/importlib_resources-6.0.0-py3-none-any.whl.metadata
Using cached importlib_resources-6.0.0-py3-none-any.whl.metadata (4.2 kB)
Collecting dictionaries==0.0.2 (from py-flags->mythril)
Using cached dictionaries-0.0.2-py2.py3-none-any.whl (7.9 kB)
Requirement already satisfied: charset-normalizer<4,>=2 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from requests->mythril) (2.1.1)
Requirement already satisfied: idna<4,>=2.5 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from requests->mythril) (3.4)
Collecting urllib3<3,>=1.21.1 (from requests->mythril)
Obtaining dependency information for urllib3<3,>=1.21.1 from https://files.pythonhosted.org/packages/9b/81/62fd61001fa4b9d0df6e31d47ff49cfa9de4af03adecf339c7bc30656b37/urllib3-2.0.4-py3-none-any.whl.metadata
Using cached urllib3-2.0.4-py3-none-any.whl.metadata (6.6 kB)
Collecting coverage[toml]>=5.2.1 (from pytest-cov->mythril)
Obtaining dependency information for coverage[toml]>=5.2.1 from https://files.pythonhosted.org/packages/a9/0c/4a848ae663b47f1195abcb09a951751dd61f80b503303b9b9d768e0fd321/coverage-7.2.7-cp39-cp39-win_amd64.whl.metadata
Using cached coverage-7.2.7-cp39-cp39-win_amd64.whl.metadata (9.9 kB)
Requirement already satisfied: pycparser in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from cffi>=1.3.0->coincurve>=13.0.0->mythril) (2.21)
INFO: pip is looking at multiple versions of coverage[toml] to determine which version is compatible with other requirements. This could take a while.
Obtaining dependency information for coverage[toml]>=5.2.1 from https://files.pythonhosted.org/packages/a0/91/f99141e5f17dc18cda76d7024dfbc80a205a889c9788ce82cffe25a17b09/coverage-7.2.6-cp39-cp39-win_amd64.whl.metadata
Using cached coverage-7.2.6-cp39-cp39-win_amd64.whl.metadata (9.8 kB)
Using cached coverage-7.2.5-cp39-cp39-win_amd64.whl (203 kB)
Using cached coverage-7.2.4-cp39-cp39-win_amd64.whl (203 kB)
Using cached coverage-7.2.3-cp39-cp39-win_amd64.whl (203 kB)
Using cached coverage-7.2.2-cp39-cp39-win_amd64.whl (202 kB)
Using cached coverage-7.2.1-cp39-cp39-win_amd64.whl (202 kB)
Using cached coverage-7.2.0-cp39-cp39-win_amd64.whl (202 kB)
INFO: pip is still looking at multiple versions of coverage[toml] to determine which version is compatible with other requirements. This could take a while.
Using cached coverage-7.1.0-cp39-cp39-win_amd64.whl (202 kB)
Using cached coverage-7.0.5-cp39-cp39-win_amd64.whl (201 kB)
Using cached coverage-7.0.4-cp39-cp39-win_amd64.whl (200 kB)
Using cached coverage-7.0.3-cp39-cp39-win_amd64.whl (200 kB)
Using cached coverage-7.0.2-cp39-cp39-win_amd64.whl (199 kB)
INFO: This is taking longer than usual. You might need to provide the dependency resolver with stricter constraints to reduce runtime. See https://pip.pypa.io/warnings/backtracking for guidance. If you want to abort this run, press Ctrl + C.
Using cached coverage-7.0.1-cp39-cp39-win_amd64.whl (191 kB)
Using cached coverage-7.0.0-cp39-cp39-win_amd64.whl (191 kB)
Requirement already satisfied: pyreadline3 in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from humanfriendly>=9.1->coloredlogs>=10.0->mythril) (3.4.1)
Collecting zipp>=3.1.0 (from importlib-resources>=3.2.0->matplotlib->mythril)
Obtaining dependency information for zipp>=3.1.0 from https://files.pythonhosted.org/packages/8c/08/d3006317aefe25ea79d3b76c9650afabaf6d63d1c8443b236e7405447503/zipp-3.16.2-py3-none-any.whl.metadata
Using cached zipp-3.16.2-py3-none-any.whl.metadata (3.7 kB)
Requirement already satisfied: setuptools in c:\users\user\appdata\local\programs\python\python39\lib\site-packages (from nodeenv>=0.11.1->pre-commit<2.21.0->mythril) (49.2.1)
Collecting six>=1.9.0 (from parsimonious<0.9.0,>=0.8.0->eth-abi<3.0.0,>=2.0.0b4->mythril)
Using cached six-1.16.0-py2.py3-none-any.whl (11 kB)
Collecting distlib<1,>=0.3.7 (from virtualenv>=20.0.8->pre-commit<2.21.0->mythril)
Obtaining dependency information for distlib<1,>=0.3.7 from https://files.pythonhosted.org/packages/43/a0/9ba967fdbd55293bacfc1507f58e316f740a3b231fc00e3d86dc39bc185a/distlib-0.3.7-py2.py3-none-any.whl.metadata
Using cached distlib-0.3.7-py2.py3-none-any.whl.metadata (5.1 kB)
Collecting filelock<4,>=3.12.2 (from virtualenv>=20.0.8->pre-commit<2.21.0->mythril)
Obtaining dependency information for filelock<4,>=3.12.2 from https://files.pythonhosted.org/packages/00/45/ec3407adf6f6b5bf867a4462b2b0af27597a26bd3cd6e2534cb6ab029938/filelock-3.12.2-py3-none-any.whl.metadata
Using cached filelock-3.12.2-py3-none-any.whl.metadata (2.7 kB)
Collecting platformdirs<4,>=3.9.1 (from virtualenv>=20.0.8->pre-commit<2.21.0->mythril)
Obtaining dependency information for platformdirs<4,>=3.9.1 from https://files.pythonhosted.org/packages/6d/a7/47b7088a28c8fe5775eb15281bf44d39facdbe4bc011a95ccb89390c2db9/platformdirs-3.9.1-py3-none-any.whl.metadata
Using cached platformdirs-3.9.1-py3-none-any.whl.metadata (11 kB)
Using cached certifi-2023.7.22-py3-none-any.whl (158 kB)
Using cached configparser-6.0.0-py3-none-any.whl (19 kB)
Using cached pytest-7.4.0-py3-none-any.whl (323 kB)
Using cached matplotlib-3.7.2-cp39-cp39-win_amd64.whl (7.5 MB)
Using cached mock-5.1.0-py3-none-any.whl (30 kB)
Using cached requests-2.31.0-py3-none-any.whl (62 kB)
Using cached pytest_cov-4.1.0-py3-none-any.whl (21 kB)
Using cached pytest_mock-3.11.1-py3-none-any.whl (9.6 kB)
Using cached bitarray-2.8.0-cp39-cp39-win_amd64.whl (121 kB)
Using cached contourpy-1.1.0-cp39-cp39-win_amd64.whl (429 kB)
Using cached exceptiongroup-1.1.2-py3-none-any.whl (14 kB)
Using cached fonttools-4.41.1-cp39-cp39-win_amd64.whl (2.1 MB)
Using cached identify-2.5.26-py2.py3-none-any.whl (98 kB)
Using cached importlib_resources-6.0.0-py3-none-any.whl (31 kB)
Using cached lru_dict-1.2.0-cp39-cp39-win_amd64.whl (12 kB)
Using cached nodeenv-1.8.0-py2.py3-none-any.whl (22 kB)
Using cached numpy-1.25.1-cp39-cp39-win_amd64.whl (15.1 MB)
Using cached Pillow-10.0.0-cp39-cp39-win_amd64.whl (2.5 MB)
Using cached pluggy-1.2.0-py3-none-any.whl (17 kB)
Using cached pycryptodome-3.18.0-cp35-abi3-win_amd64.whl (1.7 MB)
Using cached PyYAML-6.0.1-cp39-cp39-win_amd64.whl (152 kB)
Using cached urllib3-2.0.4-py3-none-any.whl (123 kB)
Using cached virtualenv-20.24.2-py3-none-any.whl (3.0 MB)
Using cached distlib-0.3.7-py2.py3-none-any.whl (468 kB)
Using cached filelock-3.12.2-py3-none-any.whl (10 kB)
Using cached platformdirs-3.9.1-py3-none-any.whl (16 kB)
Using cached zipp-3.16.2-py3-none-any.whl (7.2 kB)
Building wheels for collected packages: pyethash
Building wheel for pyethash (pyproject.toml) ... error
error: subprocess-exited-with-error
× Building wheel for pyethash (pyproject.toml) did not run successfully.
│ exit code: 1
╰─> [8 lines of output]
cl : Command line warning D9002 : ignoring unknown option '-std=gnu99'
internal.c
cl : Command line warning D9002 : ignoring unknown option '-std=gnu99'
io.c
cl : Command line warning D9002 : ignoring unknown option '-std=gnu99'
io_win32.c
c1: fatal error C1083: Cannot open source file: 'src/libethash/io_win32.c': No such file or directory
error: command 'C:\Program Files (x86)\Microsoft Visual Studio\2022\BuildTools\VC\Tools\MSVC\14.36.32532\bin\HostX86\x64\cl.exe' failed with exit code 2
[end of output]
note: This error originates from a subprocess, and is likely not a problem with pip.
ERROR: Failed building wheel for pyethash
Failed to build pyethash
ERROR: Could not build wheels for pyethash, which is required to install pyproject.toml-based projects
Many of the libraries break when using Windows. Can you try installing docker and using the docker container? I've never had issues when using Mythril with docker.
You can use:
docker pull mythril/myth
And for running a solidity file:
docker run -v $(pwd):/tmp mythril/myth analyze /tmp/contract.sol
You have to use the -v arg to mount your current directory onto the container's \tmp, so the container will have access to your current directory, which has the solidity file. Although I think the syntax for $(pwd) is slightly different for different Windows shells.
I think its equivalent syntax for Powershell is this:
docker run -v ${PWD}:/tmp mythril/myth analyze /tmp/contract.sol
Actually I still find problems, I write a small contract named contract.sol in E:\codespace\smartcontract, when I use your listed commands in powershell, like
PS E:\CodeSpace\SmartContract> docker run -v ${PWD}:/tmp mythril/myth analyze /tmp/contract.sol
I got this error:
mythril.interfaces.cli [ERROR]: Solc experienced a fatal error.
Cannot import url ("/tmp/contract.sol"): File outside of allowed directories.
I also tried this command after reading the file structure:
docker run mythril/myth a /opt/mythril/solidity_examples
/calls.sol
got this error, seems that the tool can't get access to mount file or /opt sol files？
mythril.interfaces.cli [ERROR]: Solc experienced a fatal error.
Cannot import url ("/opt/mythril/solidity_examples/calls.sol"): File outside of allowed directories.
PS E:\CodeSpace\SmartContract> docker run -v ${PWD}:/tmp mythril/myth analyze /tmp/contract.sol can you check if the file contract.sol is in the current directory when you run this command?
Thanks for your reply. I ensured that the .sol file is in the current directory. This is the full log of the administrator powershell.
PS E:\CodeSpace\SmartContract> ls
Directory: E:\CodeSpace\SmartContract
Mode LastWriteTime Length Name
d----- 2023/7/25 11:12 ConFuzzius
d----- 2023/7/18 18:29 ContractFuzzer
d----- 2023/8/8 17:34 mythril
d----- 2023/7/19 19:07 smartbugs
-a---- 2023/8/8 17:30 9012 BECToken.sol
PS E:\CodeSpace\SmartContract> docker run -v ${PWD}:/tmp mythril/myth analyze /tmp/BECToken.sol
mythril.interfaces.cli [ERROR]: Solc experienced a fatal error.
Cannot import url ("/tmp/BECToken.sol"): File outside of allowed directories.
By the way, I found it works in my Ubuntu VM, but it will be more convenient if it can directly work on my windows, thanks.
PS E:\CodeSpace\SmartContract> docker run -v ${PWD}:/tmp mythril/myth analyze /tmp/contract.solcan you check if the file contract.sol is in the current directory when you run this command?