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

Research on Safe C Code Compilation Based on Information Flow Analysis

作　　者：赵秀凤[1] 郭渊博[1] 方青坡[1] 

机构地区：[1]解放军信息工程大学电子技术学院,河南郑州450004

出　　处：《微电子学与计算机》2006年第z1期152-153,共2页Microelectronics & Computer

摘　　要：提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。Propose a new C code safe compilation, which analyze information flow safety by the lattice model of information flow and combined memory safety. Such as realize that the C programs do not need to terminate their execution and continue to work after attacks.

关 键 词：信息流 安全 编译 类型系统 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]