在合同上使用安全帽运行Mythril工具？

Question

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

1. 现在我一直在研究如何在合同上运行Mythril，使用硬帽子编译solidity文件.

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

神话使用solc编译器编译file.sol，并再次给出导入错误--现在如何使用硬帽子编译的稳健性并在mythril.上运行它。

Answer 1

一个解决办法是，为了运行Mythril，您可以将您的合同夷为平地。这应该不会产生任何导入问题，因为所有这些都在一个文件中。

我通常是这样做的(对于Slither和Mythril分析)，当我想在一个大型项目中对单个合同进行测试时，或者遇到类似的导入问题时，我不想花费太多的时间来解决这个问题。