4
如何综合使用多个智能合约形式化验证工具，使他们的效果最大 | 登链社区 | 技术问答
source link: https://learnblockchain.cn/question/1936
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
如何综合使用多个智能合约形式化验证工具，使他们的效果最大 | 登链社区 | 技术问答
5 如何综合使用多个智能合约形式化验证工具，使他们的效果最大
回答问题即可获得 5 经验值，回答被采纳后即可获得 10 学分。
当前智能合约形式化验证工具主要有VaaS平台(插件），Mythril，contract-guard,Solidity正在实验的SMTChecker，MeshSec等，但都只支持到了Solidity v0.5.11版本，审计的漏洞范围不同，综合来看VaaS平台检测范围最全，怎么利用他们提高自身合约的安全，忘大佬妹们不吝指导，万分感谢
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK