如何使用安全帽运行Mythril工具？

Question

1. Mythril无法在本地文件系统中远程导入所有时间的搜索--为了解决这个问题，我使用了Hardhat来编译我的合同--并且使用了hardhat编译了合同。

npx hardhat compile // this comiles contract
myth -a FILENAME.sol --execution-timeout 10 // 

神话使用solc编译器编译file.sol，并再次给出导入错误--现在如何使用硬帽子编译的可靠性并在mythril.

上运行它。

Answer 1

现在帮助你可能太晚了，但我为其他人负责。

正如github问题所指出的，Mythril用solc编译了坚固性。https://github.com/ConsenSys/mythril/issues/1621

请将映射设置为solc.json，类似

{
    "remappings": [ "@openzeppelin/=node_modules/@openzeppelin/" ],
    "optimizer": {
        "enabled": true
    }
}

然后跑

神话分析合同/hoge.sol --solc-json solc.json --执行-超时20