转载
成都链安推出离线免费版智能合约自动形式化验证工具Beosin—VaaS
11月4日，成都链安推出离线免费版智能合约自动形式化验证工具Beosin—VaaS，该版本基于流行的开发工具VS Code插件，供广大开发者免费使用。 成都链安此番推出的离线免费版Beosin—VaaS是一款针对智能合约的安全检测定制化工具，可精准定位风险代码位置并给出修改建议，检测准确率>97%，为智能合约代码提供“军事级”安全防护。 同时，Beosin—VaaS的可定制化和可移植性一直以来都是该工具的核心亮点。Beosin—VaaS不但支持BCOS、ETH、EOS、Fabric、ONT等多个主流链平台，还支持适配使用EVM和WASM智能合约的公链和联盟链平台。并面向这些平台，针对性增加新的检测项。
- 免责声明
- 世链财经作为开放的信息发布平台，所有资讯仅代表作者个人观点，与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论，请提供相关材料，发送到：2785592653@qq.com。
- 风险提示：本站所提供的资讯不代表任何投资暗示。投资有风险，入市须谨慎。
- 世链粉丝群：提供最新热点新闻，空投糖果、红包等福利，微信：juu3644。
