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

龙图腾网获悉安徽大学申请的专利一种基于类型区域模型的内存缺陷静态检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116594869B 。

龙图腾网通过国家知识产权局官网在2025-11-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310457369.4，技术领域涉及：G06F11/362；该发明授权一种基于类型区域模型的内存缺陷静态检测方法是由李薛剑;刘先成设计研发完成，并于2023-04-25向国家知识产权局提交的专利申请。

本一种基于类型区域模型的内存缺陷静态检测方法在说明书摘要公布了：本发明提供一种基于类型区域模型的内存缺陷静态检测方法，首先通过前端处理获得待检测程序的函数调用图和控制流程图；然后基于函数调用图和控制流程图构建类型区域模型、进行静态分析，并在分析后对模型和程序状态进行更新；再根据当前程序点可能发生的缺陷行为和静态分析携带的程序状态信息，进入到某一缺陷类型的检测流程。本发明通过基于类型区域模型的内存缺陷检测方法，能够精确的描述程序的状态，保证了大多数程序点上数据流信息的正确性；能够详细分析有关内存缺陷发生的更深层原因，并设计了对应的缺陷检测规则，以保证对这些缺陷的充分性检测，减少漏报和误报。

本发明授权一种基于类型区域模型的内存缺陷静态检测方法在权利要求书中公布了：1.一种基于类型区域模型的内存缺陷静态检测方法，其特征在于，具体包括以下步骤： S1、通过前端处理获得待检测程序的预处理产物：函数调用图和控制流程图； 所述步骤S1还包括对预处理产物的进一步处理：根据当前程序的控制流程图，记录每一个函数声明，并依次探索每一个函数调用语句，当某个函数声明存在一条跳转到被调用函数的语句时，则将调用者作为被调用者的前驱节点；由此重复构图，构建拓扑排序图；同时根据内存缺陷的发生原因与形式，在控制流程图中对各个语句进行分类：赋值语句、函数调用语句、循环语句以及类型转换语句，并对可能引发缺陷的疑似点进行标记；并将这些疑似点所在的语句或位置的分析接口中，注册对应的缺陷检测规则，当需要分析该语句时，在调用该接口的同时会进入到缺陷检测流程，以进行缺陷检测分析； S2、基于预处理产物构建类型区域模型，进行静态分析，并在分析后对模型和程序状态进行更新； 所述步骤S2具体包括以下步骤： S21、根据控制流图信息，为每一个初次声明的函数变量进行建模，并分配区域：区域中保留当前变量所具有的类型与值信息，对于指针和堆内存额外记录当前变量的状态，同时记录变量在分析时的地址； S22、初始化状态池为空，并以分析入口处的程序状态加入到状态池中； S23、如果状态池为空，则分析结束；如果状态池不为空，则依据不同的选择策略，默认为广度优先遍历，从状态池中选择一个状态，继续程序分析； S24、根据控制流图中不同类型的语句，调用相应的分析接口进行程序分析，并在分析后对模型和程序状态进行更新后，结束当前分析阶段跳转到步骤S25； S25、对于疑似点，调用相对应的缺陷检测规则进行分析；如果可能存在多种缺陷的疑似点，则分别进入不同的缺陷检测规则流程；在该检测结束后，如继续分析则跳转到步骤S26，否则跳转到步骤S23； S26、将当前状态加入到状态池中后，跳转到步骤S23； S3、基于类型区域模型进行内存缺陷检测：根据当前程序点可能发生的缺陷行为和静态分析携带的程序状态信息，进入到某一缺陷类型的检测流程。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人安徽大学，其通讯地址为：230601 安徽省合肥市经济技术开发区九龙路111号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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