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

龙图腾网恭喜安徽中科国创高可信软件有限公司申请的专利一种C语言程序数据泄露的检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114091018B 。

龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111406827.9，技术领域涉及：G06F21/55；该发明授权一种C语言程序数据泄露的检测方法及系统是由黄海军;杜准;王立东设计研发完成，并于2021-11-24向国家知识产权局提交的专利申请。

本一种C语言程序数据泄露的检测方法及系统在说明书摘要公布了：本发明公开了一种C语言程序数据泄露的检测方法及系统，该方法包括：接收携带有信息流标注的C语言程序；对所述信息流标注进行提取并解析，获取数据访问规则标签；基于预设规则，确定所有程序点的上下文安全级别；基于隐蔽存储通道两端的数据访问规则标签和所述程序点的上下文安全级别大小判断所述隐蔽存储通道是否存在数据泄露。本发明通过对指针自身及所指对象添加安全级别,并使用程序上下文安全级别跟踪程序控制结构，可以有效地对C语言程序中的隐蔽存储数据泄露进行检测。

本发明授权一种C语言程序数据泄露的检测方法及系统在权利要求书中公布了：1.一种C语言程序数据泄露的检测方法，其特征在于，包括： 接收携带有信息流标注的C语言程序； 对所述信息流标注进行提取并解析，获取数据访问规则标签； 基于预设规则，确定所有程序点的上下文安全级别，所述程序点的上下文安全级别表征程序点所在控制结构反映出来数据的访问规则信息； 基于隐蔽存储通道两端的数据访问规则标签和所述程序点的上下文安全级别大小判断所述隐蔽存储通道是否存在数据泄露； 所述基于预设规则，确定所有程序点的上下文安全级别，包括： 将函数体内所有语句程序点的上下文安全级别都初始化为标签最小值； 确定跳转语句所在程序点的程序上下文安全级别； 分析跳转语句对跳转语句所在程序点的后续程序点的程序上下文安全级别的影响，调整跳转语句所在程序点的后续程序点的程序上下文安全级别； 所述基于隐蔽存储通道两端的数据访问规则标签和所述程序点的上下文安全级别大小判断所述隐蔽存储通道是否存在数据泄露，包括： 对于两端均不包含指针的隐蔽存储通道，判断赋值语句右值表达式的访问规则标签和所述赋值语句程序点的上下文安全级别的最小上界是否小于等于左值表达式的访问规则标签，若否，则报告程序中存在数据泄露； 对于至少一端包含指针的隐蔽存储通道，基于存储通道两端指针所指对象的信息流标签、指针自身的信息流标签和所述存储通道程序点的上下文安全级别是否满足预设别名通道数据安全传输规则，若否，则报告程序中存在数据泄露。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人安徽中科国创高可信软件有限公司，其通讯地址为：230088 安徽省合肥市高新区文曲路355号403室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。