Mythril Installation Issue about mythril

[norhh]

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

[Alleysira]

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.

[norhh]

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?

[Alleysira]

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.sol can you check if the file contract.sol is in the current directory when you run this command?