龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：西安电子科技大学广州研究院;广州链融信息技术有限公司;西安电子科技大学;远望谷(上海)信息技术有限公司
摘要：本发明提供了一种智能合约威胁交易序列生成方法及系统，利用静态分析和动态行为预测技术综合识别和模拟智能合约中的潜在安全漏洞。这种方法通过生成针对性的威胁交易序列，不仅可以预测和演示可能的攻击路径及其对合约漏洞的实际利用，还允许开发者进行精确修复和增强合约安全性。自动化的漏洞检测与威胁序列生成大幅减轻了手动审计的负担，显著提高审计效率，能在较短时间内完成大量合约的安全评估，有效支持大规模区块链项目的安全需求。此外，系统特别针对智能合约复杂的交互性设计了威胁交易序列构建功能，能够深入分析并解决合约互动中出现的深层次安全挑战。
主权项：1.一种智能合约威胁交易序列生成方法，其特征在于：包括以下步骤：获取用户传递需要并生成有序交易顺序的智能合约源代码；对智能合约源代码进行预处理，所述预处理包括将合约代码升级到Solidity的最新版本0.8.0及以上，以利用最新的安全特性和语言优化；删除合约中的注释、空行以及过时的代码段；合并合约中的函数修饰器和函数，简化代码逻辑；将未明确声明访问类型的变量设为公有类型；删除合约函数中未使用的参数，进一步简化合约结构；执行静态代码分析和静态漏洞检测；根据分析与检测结果，构建只写函数池、读写函数池以及只读函数池；在读写函数池的基础上，使用动态行为预测技术构建函数交易图；从函数交易图中导出完整有序的交易序列池，并与只读函数池和只写函数池序列进行合并，生成综合的威胁交易序列；根据威胁交易序列，向用户发送详细报告。
全文数据：
权利要求：
百度查询： 西安电子科技大学广州研究院 广州链融信息技术有限公司 西安电子科技大学 远望谷(上海)信息技术有限公司 智能合约威胁交易序列生成方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号