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

龙图腾网获悉西安电子科技大学广州研究院;广州链融信息技术有限公司;西安电子科技大学;远望谷(上海)信息技术有限公司申请的专利智能合约威胁交易序列生成方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118709188B 。

龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410769995.1，技术领域涉及：G06F21/57；该发明授权智能合约威胁交易序列生成方法及系统是由裴庆祺;蒋翔东;张飞龙;杨阳;吴志辉设计研发完成，并于2024-06-14向国家知识产权局提交的专利申请。

本智能合约威胁交易序列生成方法及系统在说明书摘要公布了：本发明提供了一种智能合约威胁交易序列生成方法及系统，利用静态分析和动态行为预测技术综合识别和模拟智能合约中的潜在安全漏洞。这种方法通过生成针对性的威胁交易序列，不仅可以预测和演示可能的攻击路径及其对合约漏洞的实际利用，还允许开发者进行精确修复和增强合约安全性。自动化的漏洞检测与威胁序列生成大幅减轻了手动审计的负担，显著提高审计效率，能在较短时间内完成大量合约的安全评估，有效支持大规模区块链项目的安全需求。此外，系统特别针对智能合约复杂的交互性设计了威胁交易序列构建功能，能够深入分析并解决合约互动中出现的深层次安全挑战。

本发明授权智能合约威胁交易序列生成方法及系统在权利要求书中公布了：1.一种智能合约威胁交易序列生成方法，其特征在于：包括以下步骤： 获取用户传递需要并生成有序交易顺序的智能合约源代码； 对智能合约源代码进行预处理，所述预处理包括将合约代码升级到Solidity的最新版本0.8.0及以上，以利用最新的安全特性和语言优化；删除合约中的注释、空行以及过时的代码段；合并合约中的函数修饰器和函数，简化代码逻辑；将未明确声明访问类型的变量设为公有类型；删除合约函数中未使用的参数，进一步简化合约结构； 执行静态代码分析和静态漏洞检测； 根据分析与检测结果，构建只写函数池、读写函数池以及只读函数池； 在读写函数池的基础上，使用动态行为预测技术构建函数交易图； 其中所述使用动态行为预测技术构建函数交易图，具体包括以下步骤： 定义行为规则，所述行为规则包括合约状态变化、交易顺序依赖和函数调用关系，确定函数两两交互顺序； 利用静态分析与静态检测结果构建动态行为顺序以及单行为顺序； 添加全部的行为顺序到预测池中，将相似的交易顺序合并减少冗余； 构建有向无环图，消除循环依赖，根据函数之间的依赖关系和潜在的安全威胁，生成合约函数有向无环交易图即函数交易图； 从函数交易图中导出完整有序的交易序列池，并与只读函数池和只写函数池序列进行合并，生成综合的威胁交易序列； 根据威胁交易序列，向用户发送详细报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学广州研究院;广州链融信息技术有限公司;西安电子科技大学;远望谷(上海)信息技术有限公司，其通讯地址为：510000 广东省广州市黄埔区中新知识城海丝中心B5、B6、B7栋；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。