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

龙图腾网获悉同济大学申请的专利数据检测方法、装置、设备、介质以及产品获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119885197B 。

龙图腾网通过国家知识产权局官网在2026-04-07发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411951023.0，技术领域涉及：G06F21/57；该发明授权数据检测方法、装置、设备、介质以及产品是由刘关俊;张凯文设计研发完成，并于2024-12-27向国家知识产权局提交的专利申请。

本数据检测方法、装置、设备、介质以及产品在说明书摘要公布了：本申请公开了一种数据检测方法、装置、设备、介质以及产品，涉及软件系统建模与分析技术领域，方法包括：通过获取应用程序的动态追踪数据，并根据所述动态追踪数据进行建模得到最终数据模型；通过模型分析工具对所述最终数据模型进行数据检测，得到数据检测报告。由此，根据获取到的Rust程序的动态追踪数据进行建模得到，最终Petri网模型，随后通过Petri网分析工具对最终Petri网模型进行数据检测，得到数据检测报告，解决了现有的漏洞检测器无法对Rust程序进行动态检测的问题，提高了数据检测的准确性。

本发明授权数据检测方法、装置、设备、介质以及产品在权利要求书中公布了：1.一种数据检测方法，其特征在于，所述方法包括： 获取应用程序的动态追踪数据，并根据所述动态追踪数据进行建模得到最终数据模型； 其中，所述获取应用程序的动态追踪数据，并根据所述动态追踪数据进行建模得到最终数据模型的步骤包括： 检测所述应用程序的程序状态； 在所述程序状态为程序运行的情况下，通过追踪工具对应用程序进行动态追踪，得到动态追踪数据； 将所述动态追踪数据映射为初始数据模型； 其中，所述将所述动态追踪数据映射为初始数据模型的步骤包括： 提取所述动态追踪数据中的第二共享内存读写操作； 根据所述第二共享内存读写操作构建得到内存访问图； 通过优化算法对所述内存访问图进行语义等价性裁剪，得到优化后的内存访问图； 根据数据模型建模规则将所述优化后的内存访问图映射为初始数据模型，所述数据模型建模规则包括将所述优化后的内存访问图中的共享内存位置映射为Petri网中的库所，将所述优化后的内存访问图中的内存操作类型映射为Petri网中的变迁，将所述优化后的内存访问图中的线程间的因果关系采用Petri网的标记流转描述； 对所述初始数据模型进行结构优化，得到最终数据模型； 其中，所述对所述初始数据模型进行结构优化，得到最终数据模型的步骤包括： 对所述初始数据模型进行仿真操作，得到模型无效路径； 分析所述初始数据模型中的聚合位置，得到模型重复路径； 将所述初始数据模型中的模型无效路径进行删除，将所述初始数据模型中的模型重复路径进行聚合，并引入并发语义，得到最终数据模型； 通过模型分析工具对所述最终数据模型进行数据检测，得到数据检测报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人同济大学，其通讯地址为：200082 上海市杨浦区四平路1239号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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