成都链安推出离线免费版智能合约自动形式化验证工具Beosin—VaaS

11月4日，成都链安推出离线免费版智能合约自动形式化验证工具Beosin—VaaS，该版本基于流行的开发工具VS Code插件，供广大开发者免费使用。 
成都链安此番推出的离线免费版Beosin—VaaS是一款针对智能合约的安全检测定制化工具，可精准定位风险代码位置并给出修改建议，检测准确率>97%，为智能合约代码提供“军事级”安全防护。
同时，Beosin—VaaS的可定制化和可移植性一直以来都是该工具的核心亮点。Beosin—VaaS不但支持BCOS、ETH、EOS、Fabric、ONT等多个主流链平台，还支持适配使用EVM和WASM智能合约的公链和联盟链平台。并面向这些平台，针对性增加新的检测项。（金色财经） [原文链接]