华东师范大学;上海境山科技有限公司何道敬获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉华东师范大学;上海境山科技有限公司申请的专利基于路径剖析及代码插桩的智能合约威胁检测与防护方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116366322B 。
龙图腾网通过国家知识产权局官网在2025-09-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310291329.7，技术领域涉及：H04L9/40；该发明授权基于路径剖析及代码插桩的智能合约威胁检测与防护方法是由何道敬;丁柯;朱珊珊设计研发完成，并于2023-03-23向国家知识产权局提交的专利申请。
本基于路径剖析及代码插桩的智能合约威胁检测与防护方法在说明书摘要公布了：本发明公开了一种基于路径剖析及代码插桩的智能合约威胁检测与防护方法，该方法通过正则方式预处理智能合约源代码；依据源代码静态分析得到的静态单赋值形式节点构建智能合约控制流图；根据控制流图是否存在循环，选择路径剖析算法对路径编码，得到探针语句与待插桩边；基于待插桩边的探针语句来对源代码插桩，并插入初始化定义代码及安全防护代码；将插桩后的源代码部署在以太坊模拟环境上，测试并获取安全路径集合，再将加入安全路径集合的源代码部署至以太主网；依据以太主网中智能合约日志记录的路径编码，结合控制流图与探针信息进行溯源；从而精准跟踪智能合约有环与无环执行路径，提升检测准确率，降低了执行Gas开销，溯源异常源代码。
本发明授权基于路径剖析及代码插桩的智能合约威胁检测与防护方法在权利要求书中公布了：1.一种基于路径剖析及代码插桩的智能合约威胁检测与防护方法，其特征在于，该方法包括以下具体步骤： 步骤S1：利用正则方式对智能合约源代码进行预处理，以生成规范化后的智能合约源代码； 步骤S2：依据智能合约静态分析工具对源代码静态分析得到的静态单一赋值形式节点，构建智能合约控制流图； 步骤S3：利用所述智能合约控制流图，动态选择路径剖析算法对路径编码，得到探针语句与待插桩边，保存控制流图信息以及探针信息； 步骤S4：基于所述待插桩边的探针语句来对源代码进行插桩，并插入探针状态变量与路径跟踪事件的初始化定义代码，以及安全路径防护代码； 步骤S5：对所述插桩后的智能合约源代码部署在以太坊模拟环境上，设计安全测试用例输入插桩后智能合约中，获取安全路径编码集合，再将加入安全路径集合的已插桩智能合约部署至以太主网； 步骤S6：依据所述以太主网中已插桩智能合约报告的事件与返回的路径编码，结合保存的控制流图信息进行溯源。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华东师范大学;上海境山科技有限公司，其通讯地址为：200241 上海市闵行区东川路500号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号