中国航空发动机集团简介、直属单位与主营业务
2022年04年24日
航空产业网 2024-04-19
198
0
0
北京航空航天大学杭州创新研究院申请一项名为"智能合约漏洞检测方法、装置、电子设备和存储介质"的专利，申请日期为2024-01-22。
专利摘要显示，本发明实施例提出一种智能合约漏洞检测方法、装置、电子设备和存储介质，涉及智能合约技术领域。该方法通过后向切片算法构建智能合约的控制流图，并根据待检测漏洞的关键指令和控制流图精准确定第一可执行路径，能够实现对与待检测漏洞相关的关键路径进行路径探索，以保证生成的可执行路径数量可控，有效避免路径空间爆炸的问题。同时，由于采用后向算法获取漏洞关键指令的第一可执行路径，减少无效路径和多余路径的遍历，有效提高路径探索效率和准确率，从而提高智能合约漏洞检测的效率和准确率。
查看详情 : 智能合约漏洞检测方法、装置、电子设备和存储介质
原文链接 :
点击查看
评论 (0)