5 如何综合使用多个智能合约形式化验证工具,使他们的效果最大

当前智能合约形式化验证工具主要有VaaS平台(插件),Mythril,contract-guard,Solidity正在实验的SMTChecker,MeshSec等,但都只支持到了Solidity v0.5.11版本,审计的漏洞范围不同,综合来看VaaS平台检测范围最全,怎么利用他们提高自身合约的安全,忘大佬妹们不吝指导,万分感谢

请先 登录 后评论

1 个回答

Tiny熊
  擅长:智能合约,以太坊
请先 登录 后评论
  • 2 关注
  • 0 收藏,2407 浏览
  • Ethereal 提出于 2021-04-15 18:53