龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本发明提出了一种基于不变式验证的智能合约功能性漏洞检测方法和系统，方法包括：定义拟检测的智能合约功能性漏洞类别；输入拟检测的智能合约源代码文件并预处理；使用大语言模型预分析潜在漏洞及其漏洞类型；使用大语言模型检测存在潜在漏洞的函数代码中的关键变量或关键语句，将采用这些关键变量和关键语句生成不变式检查器，并将检查器插入至智能合约源代码中；基于动态模糊测试原理，建立针对不变式检查器的验证模型；使用验证模型对插入了不变式检查器的源代码进验证，输出检测结果。本发明实现了对智能合约进行高效地自动化分析，解决了智能合约代码中逻辑关系分析难度大的技术挑战，提升了智能合约功能性漏洞检测的效率。
主权项：1.一种基于不变式验证的智能合约功能性漏洞检测方法，其特征在于，包括以下步骤：S1：定义拟检测的智能合约功能性漏洞类型；S2：输入要分析的智能合约源代码，并预处理为多个智能合约核心函数代码；S3：根据拟检测的智能合约功能性漏洞类型，使用大语言模型预分析各智能合约核心函数代码的潜在漏洞及其漏洞类型；S4：使用大语言模型存在潜在漏洞的核心函数代码进行检测，得到其中的关键变量或关键语句，根据潜在漏洞的漏洞类型选择不变式检查器模版，将所述关键变量或关键语句填充进不变式检查器模版，生成不变式检查器，并将不变式检查器插入至智能合约源代码中；S5：建立针对不变式检查器的验证模型，使用验证模型对插入了不变式检查器的智能合约源代码进行分析并验证智能合约源代码中预分析的潜在漏洞是否存在，若是则输出该潜在漏洞及其漏洞类型作为功能性漏洞检测结果。
全文数据：
权利要求：
百度查询： 浙江大学 基于不变式验证的智能合约功能性漏洞检测方法和系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号