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

龙图腾网恭喜南京大学申请的专利基于静态程序分析与模糊测试的内核数据竞争检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114428733B 。

龙图腾网通过国家知识产权局官网在2025-04-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210059807.7，技术领域涉及：G06F11/3668；该发明授权基于静态程序分析与模糊测试的内核数据竞争检测方法是由王豫;徐砚听;熊俊;王林章设计研发完成，并于2022-01-19向国家知识产权局提交的专利申请。

本基于静态程序分析与模糊测试的内核数据竞争检测方法在说明书摘要公布了：本发明公开一种基于静态程序分析与模糊测试的内核数据竞争检测方法，通过静态程序分析识别代码里的共享资源，并且获得针对共享资源的访问操作，记录该访问操作的读写属性，判定潜在数据竞争的访问对。通过分析内核同步原语语义，过滤不可能产生线程交错的共享资源访问对，以生成更加精确的数据竞争对集合。通过静态分析识别内核资源与系统调用，构建系统调用依赖图。使用数据竞争对集合与系统调用依赖图指导内核模糊测试用例的生成与变异。用一个线程感知模糊测试生成器，将线程的优先级随机化，以探索线程交错，并使用运行时反馈信息更新依赖图的边权值，完善系统调用依赖图，指导之后模糊测试输入的变异。

本发明授权基于静态程序分析与模糊测试的内核数据竞争检测方法在权利要求书中公布了：1.一种基于静态程序分析与模糊测试的内核数据竞争检测方法，所述方法包括以下步骤：步骤1：通过静态程序分析识别代码里的共享资源，并且获得针对共享资源的访问操作，记录该访问操作的读写属性，判定潜在数据竞争的访问对，然后通过分析内核同步原语语义，过滤不可能产生线程交错的共享资源访问对，以生成更加精确的数据竞争对集合；所述步骤1具体如下：步骤1.1：对操作系统内核模块进行分区；步骤1.2：对每个分区的操作系统内核代码进行过程间和上下文敏感的静态程序分析，获取针对共享资源的访问操作及读写属性；步骤1.3：通过点对分析以检测操作系统的潜在数据竞争对，生成潜在数据竞争对的集合；步骤1.4：对操作系统内核同步原语的特征进行分类总结对应的模式；步骤1.5：通过分析内核同步原语，找出实际运行时受到同步机制限制的多线程语句，过滤潜在数据竞争对集合里不会产生线程交错的数据竞争对，生成更加精确的数据竞争对集合；步骤2：通过静态分析识别内核资源与系统调用，构建系统调用依赖图；步骤3：使用数据竞争对集合与指导内核模糊测试用例的生成，通过数据竞争对的共享资源访问位置生成模糊测试初始输入；所述步骤3具体如下：步骤3.1：遍历数据竞争对集合，选择当前准备使用的数据竞争对；步骤3.2：生成模糊测试初始输入即系统调用序列，其中系统调用序列里含有对数据竞争对的访问；步骤4：使用系统调用依赖图指导内核模糊测试用例的变异，通过系统调用依赖图边权值按概率添加删除替换系统调用语句，以生成新的模糊测试输入；所述步骤4具体如下：步骤4.1：根据系统调用依赖图变异模糊测试初始输入，当使用删除系统调用策略时，以更大概率选择在测试用例中连续系统调用边权值低的系统调用；步骤4.2：当使用插入系统调用策略时，以更大概率选择插入点前驱结点为起点的权值高的边所指向的系统调用；步骤4.3：当使用替换系统调用策略时，以更大概率选择替换点前驱结点为起点的权值高的边所指向的系统调用；步骤5：用一个线程感知模糊测试生成器，将线程的优先级随机化，以探索线程交错，并使用运行时反馈信息更新依赖图的边权值，完善系统调用依赖图，指导之后模糊测试输入的变异。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210093 江苏省南京市鼓楼区汉口路22号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。