安测云
新闻动态
BSCSCS的在线平台www.sjtubsrc.net目前已经上线
2018-08-23
0

2018823日,上海交通大学网络空间安全学院、中国信息通信研究院泰尔终端实验室联合上海掌御科技共建的区块链安全研究中心BSRC,推出了国内首个智能合约自动化检测系统BSCSCSBSCSCS的在线平台www.sjtubsrc.net目前已经上线,并面向所有用户开放注册和测试。该系统采用了多种形式化验证引擎,目前已经完成了1000个以上智能合约的自动化检测,其中已经上线的快速检测引擎平均一分钟内可以完成一个智能合约的自动化检测,并公布所有的潜在风险点、漏洞细节以及相关的代码位置。