Document
拖动滑块完成拼图
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种针对Move智能合约的漏洞检测方法及系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:电子科技大学

摘要:本发明公开了一种针对Move智能合约的漏洞检测方法及系统,涉及计算机网络安全领域。漏洞检测方法包括:将Move智能合约从基于栈的字节码形式转换成无栈字节码形式,得到Move智能合约的中间表示;对Move智能合约的中间表示进行代码分析,包括构建控制流图、生成跨智能合约的调用图、构建数据依赖树以及变量范围分析;定义缺陷及缺陷的检测规则,然后基于代码分析提供的元数据接口设计检测器实现缺陷检测,最后生成检测报告。本发明支持多种缺陷类型的识别,通过自动化检测方法和设计高精度的检测器,可有效减少智能合约中潜在的漏洞和错误,提高Move智能合约安全性分析的效率和准确性,节省人力资源并减少误报率和漏报率。

主权项:1.一种针对Move智能合约的漏洞检测方法,其特征在于,包括以下步骤:S1:将Move智能合约从基于栈的字节码形式转换成无栈字节码形式,得到Move智能合约的中间表示;S2:对Move智能合约的中间表示进行代码分析,包括构建控制流图、生成跨智能合约的调用图、构建数据依赖树以及变量范围分析;S3:定义缺陷及缺陷的检测规则,然后基于代码分析提供的元数据接口设计检测器实现缺陷检测,最后生成检测报告。

全文数据:

权利要求:

百度查询: 电子科技大学 一种针对Move智能合约的漏洞检测方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。