个中：
function add(uint256 deposit) public {
运行功效如下所示。“
1、pip3-Mac OS 安装
3、docker 安装
bool public is_killable;
pragma solidity 0.4.24;
pip3 install mythril
自从以太坊横空出世以来，智能合约安详问题层出不穷，给项目方和用户带来了庞大的损失。Mythril 安详查抄东西对付 SWC 中的一些安详裂痕可以或许有效检测出来，为智能合约的安详性提供了安详保障。在利用 Mythril 东西时，也要服膺东西不是万能的，对付一些埋没的较量深可能测试用例巨大的裂痕，Mythril 很难检测出来。如著名的由于整数溢出而导致项目归零 BEC 的 ERC20 合约https://swcregistry.io/docs/SWC-101#bectokensol[18]，Mythril 并没有检测出溢出裂痕。
t 生意业务个数
四、参考
sudo apt install software-properties-common
docker run -v /Users/aaa/go/src/six-days/blockchain:/contract mythril/myth a /contract/killbilly.sol -t 2
}
pro (p)，利用 Mythril 专业版（收费）
pragma solidity ^0.5.7;
brew upgrade
}
Mythril 是利用 python 开拓的，可以利用 pip3 和 docker 方法安装。
solver-timeout solidity 版本下载超时时间
docker run -v /Users/aaa/go/src/six-days/blockchain:/contract mythril/myth a /contract/killbilly.sol -t 3
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
