项目东南大学团队智能合约自动化检测和分析工具通过测评

针对国家重点研发计划“中挪联合面向供应链的高性能区块链系统支撑平台关键技术研究”中研究任务3的第4点内容“研发基于区块链技术的供应链风险管控原型系统”，东南大学课题组聚焦智能合约缺陷检测，开发智能合约自动化检测和分析工具。该工具基于智能合约知识图谱实现缺陷定位，支持自动分析Solidity语言和Go语言编写的智能合约。中国赛宝实验室对该工具进行测试，测评了智能合约自动化检测和分析工具的功能性、信息安全性、可靠性、易用性，测评结果表示该工具的整体测试结果符合通过准则的要求。