龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京航空航天大学杭州创新研究院
摘要：本申请涉及一种基于静态分析的跨链桥智能合约漏洞检测方法及装置，其中，方法包括：获取目标跨链桥智能合约的字节码和API信息，并基于字节码和API信息，构建底层环境模型，并通过底层环境模型提取目标函数有效路径的路径条件和细粒度数据流；确定跨链函数调用和无保护数据注入的漏洞检测策略，并结合路径条件和细粒度数据流进行漏洞识别操作；通过启发式定向剪枝策略，对目标函数的提取操作进行剪枝优化，以生成有效执行路径，并得到目标跨链桥智能合约的检测结果报告。由此，解决了现有技术无法区分链外数据对微小调用逻辑的影响，难以检测到桥接合约中的外部交互漏洞；此外，现有技术检测漏洞的时间过长，代码覆盖率和检测精度较低差等问题。
主权项：1.一种基于静态分析的跨链桥智能合约漏洞检测方法，其特征在于，包括以下步骤：获取目标跨链桥智能合约的字节码和API信息，并生成所述字节码对应的指令字典，且根据所述API信息提取所述目标跨链桥智能合约目标函数的函数名和所述函数名对应的参数类型数组；基于所述指令字典、所述函数名和所述参数类型数组，构建底层环境模型，并通过所述底层环境模型执行所述目标函数有效路径的路径条件和细粒度数据流的提取操作；基于预设的跨链函数调用漏洞特征和无保护数据注入漏洞特征，确定跨链函数调用漏洞检测策略和无保护数据注入漏洞检测策略，并根据所述跨链函数调用漏洞检测策略、所述无保护数据注入漏洞检测策略、所述路径条件和所述细粒度数据流进行漏洞识别操作，以生成漏洞检测结果；通过预设的启发式定向剪枝策略，对所述目标函数的提取操作进行剪枝优化处理，以生成所述目标函数的有效执行路径，且根据所述有效执行路径得到所述目标跨链桥智能合约的检测结果报告。
全文数据：
权利要求：
百度查询： 北京航空航天大学杭州创新研究院 基于静态分析的跨链桥智能合约漏洞检测方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号