一种C语言程序数据泄露的检测方法及系统

摘要

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