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

龙图腾网获悉无锡市区块链高等研究中心申请的专利一种基于并行模糊测试的智能合约漏洞检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119577787B 。

龙图腾网通过国家知识产权局官网在2025-09-26发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411803708.0，技术领域涉及：G06F21/57；该发明授权一种基于并行模糊测试的智能合约漏洞检测方法及系统是由王奕辰;骆源;应臣浩;郭尚坤;郝帅设计研发完成，并于2024-12-10向国家知识产权局提交的专利申请。

本一种基于并行模糊测试的智能合约漏洞检测方法及系统在说明书摘要公布了：本发明公开了一种基于并行模糊测试的智能合约漏洞检测方法及系统，包括如下步骤：S1、静态分析智能合约代码，根据漏洞的关键字获取可能存在漏洞的待测函数序列；S2、对每个待测函数，将其本身的输入以及非局部变量皆认为是该函数的输入变量，通过模糊器产生测试用例，并生成测试用例集；S3、对测试用例集使用进程并行测试，对不同测试用例使用线程并行测试；S4、对检测的结果进行分析，获得漏洞检测报告。本发明通过静态工具分析智能合约，识别关键漏洞函数，利用模糊器生成测试用例，采用进程与线程并行测试，依据预设规则高效生成检测报告，提升检测效率、准确率及F1‑score，实现高数量检测，保障智能合约安全。

本发明授权一种基于并行模糊测试的智能合约漏洞检测方法及系统在权利要求书中公布了：1.一种基于并行模糊测试的智能合约漏洞检测方法，其特征在于，包括如下步骤： S1、静态分析智能合约代码，根据漏洞的关键字获取可能存在漏洞的待测函数序列； S2、对于每个待测函数，将其本身的输入以及非局部变量皆认为是该函数的输入变量，通过模糊器大量产生测试用例，并为每个函数生成一个测试用例集，具体为： S21，识别每一个待测函数的直接输入参数，并将其函数内非局部变量当作输入变量，并进行名称标准化； S22，配置模糊器，指定输入变量的类型、范围和约束条件， S23，通过模糊器为每一个待测函数生成测试用例，并将生成的测试用例组织成测试用例集； S3、对于不同待测函数的测试用例集使用进程并行测试，每个测试用例集中不同测试用例使用线程并行测试，具体为： S31，对待测函数集中的每个待测函数，分配一个进程进行测试； 所述S31中进程测试具体为： 1）获取待测函数集合Fv； 2）初始化进程池，遍历待测函数集合Fv，从进程池中分配一个空闲进程给Fv，若无空闲进程，则等待进程释放； 3）启动已分配进程的任务，并监视进程执行状态； 4）收集测试结果，释放完成测试的进程，用于后续使用； S32，对每个待测函数的对应测试用例集中的每个测试用例，分配一个线程进行测试； 所述S32中线程测试具体为： 5）为每一个待测函数Fv，配置一个包含其所有测试用例的集合Tv； 6）基于系统资源和测试需求设置线程池； 7）遍历每个待测函数f的测试用例集Tv，并分配空闲线程； 8）启动并监控线程执行情况，收集测试结果； S4、对检测的结果进行分析，获得漏洞检测报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人无锡市区块链高等研究中心，其通讯地址为：214000 江苏省无锡市锡山区安镇街道春风南路2号智行科创园1号楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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