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