基于信息流分析的C代码安全编译技术研究

摘要

提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。