-
公开(公告)号:CN113326050B
公开(公告)日:2023-10-17
申请号:CN202110766018.2
申请日:2021-07-07
Applicant: 浙江工商大学
IPC: G06F8/41 , G06F21/57 , G06N3/0499 , G06N3/084
Abstract: 本发明公开了一种基于神经网络与动态模糊测试结合的智能合约漏洞检测方法,通过构建前馈神经网络模型对智能合约漏洞进行静态分析,标注可能存在漏洞的函数执行路径,使用SIF对可能存在漏洞的函数执行路径进行插桩处理,利用前瞻分析法引导模糊检测器对可能存在漏洞的函数执行路径进行动态模糊检测,构建基于控制流和智能合约状态的反馈机制,通过反馈信息指导模糊检测器产生有效的测试用例,进行有策略的动态模糊检测。相较于传统的智能合约漏洞检测工具,本发明提供了一种新的方案,有效地改善了传统单一的静态检测或动态分析方法的误判、漏报等情况,不仅具有良好的实用价值,而且具有很好的借鉴意义。
-
公开(公告)号:CN113326050A
公开(公告)日:2021-08-31
申请号:CN202110766018.2
申请日:2021-07-07
Applicant: 浙江工商大学
Abstract: 本发明公开了一种基于神经网络与动态模糊测试结合的智能合约漏洞检测方法,通过构建前馈神经网络模型对智能合约漏洞进行静态分析,标注可能存在漏洞的函数执行路径,使用SIF对可能存在漏洞的函数执行路径进行插桩处理,利用前瞻分析法引导模糊检测器对可能存在漏洞的函数执行路径进行动态模糊检测,构建基于控制流和智能合约状态的反馈机制,通过反馈信息指导模糊检测器产生有效的测试用例,进行有策略的动态模糊检测。相较于传统的智能合约漏洞检测工具,本发明提供了一种新的方案,有效地改善了传统单一的静态检测或动态分析方法的误判、漏报等情况,不仅具有良好的实用价值,而且具有很好的借鉴意义。
-
公开(公告)号:CN113240714B
公开(公告)日:2023-10-17
申请号:CN202110539401.4
申请日:2021-05-17
Applicant: 浙江工商大学
IPC: G06T7/246 , G06V10/80 , G06V10/82 , G06N3/0464 , G06N3/0499 , G06N3/08
Abstract: 本发明公开了一种基于情境感知网络的人体运动意图预测方法,在神经网络的基础上考虑了情境融入,利用图神经网络和卷积Transformer网络,充分考虑了真实情境中各种因素对人体运动的影响,构建情境感知网络,有效提高了人体运动预测的准确率,具有一定的现实意义和应用价值。本发明还充分利用了视频的时序信息,增强了模型的推理能力,能够更好的对人体未来运动意图进行预测,在安防、自动驾驶等依赖人体未来运动分析的行业具有重要意义。
-
公开(公告)号:CN113240714A
公开(公告)日:2021-08-10
申请号:CN202110539401.4
申请日:2021-05-17
Applicant: 浙江工商大学
Abstract: 本发明公开了一种基于情境感知网络的人体运动意图预测方法,在神经网络的基础上考虑了情境融入,利用图神经网络和卷积Transformer网络,充分考虑了真实情境中各种因素对人体运动的影响,构建情境感知网络,有效提高了人体运动预测的准确率,具有一定的现实意义和应用价值。本发明还充分利用了视频的时序信息,增强了模型的推理能力,能够更好的对人体未来运动意图进行预测,在安防、自动驾驶等依赖人体未来运动分析的行业具有重要意义。
-
公开(公告)号:CN113177107B
公开(公告)日:2022-05-27
申请号:CN202110569353.3
申请日:2021-05-25
Applicant: 浙江工商大学
IPC: G06F16/33 , G06F40/211 , G06F40/253 , G06F40/30
Abstract: 本发明公开了一种基于句法树匹配的智能合约相似性检测方法,其借助抽象语法树提取工具捕获智能合约语法信息,利用编码器的注意力机制获取句法树中各节点的语义信息,最终提取智能合约句法树的高语义特征向量,以特征向量为相似度计算函数的输入得到不同句法树之间的相似值,通过求平均值的方法得到两段智能合约源码的相似性检测结果。本发明有效地解决了以太坊智能合约相似性检测问题,相较于传统的代码克隆检测方法,本发明方法实现了更准确的检测效果,同时具备精确到代码行的相似性检测解释,具有良好的通用性和实用价值。
-
公开(公告)号:CN113177107A
公开(公告)日:2021-07-27
申请号:CN202110569353.3
申请日:2021-05-25
Applicant: 浙江工商大学
IPC: G06F16/33 , G06F40/211 , G06F40/253 , G06F40/30
Abstract: 本发明公开了一种基于句法树匹配的智能合约相似性检测方法,其借助抽象语法树提取工具捕获智能合约语法信息,利用编码器的注意力机制获取句法树中各节点的语义信息,最终提取智能合约句法树的高语义特征向量,以特征向量为相似度计算函数的输入得到不同句法树之间的相似值,通过求平均值的方法得到两段智能合约源码的相似性检测结果。本发明有效地解决了以太坊智能合约相似性检测问题,相较于传统的代码克隆检测方法,本发明方法实现了更准确的检测效果,同时具备精确到代码行的相似性检测解释,具有良好的通用性和实用价值。
-
-
-
-
-