Abstract: An Information Flow Analysis(IFA) algorithm in source code based on Static Single Assignment(SSA) intermediate representation is proposed. The process of covert channel recognition is introduced. The algorithm is implemented by using work table based on IFA. The characteristics of time and space cost and analysis accuracy are discussed. The analysis framework is inserted into GCC compiler. Simulation experimental results show this algorithm is effective, and has the value of application.

Key words: Information Flow Analysis(IFA), covert channel, Static Single Assignment(SSA), compiler

摘要： 提出一种基于SSA中间表示的源代码信息流分析算法，介绍隐蔽通道识别过程，采用基于信息流的工作表实现该算法，讨论其在时空代价以及分析精度方面的特点，并将分析框架嵌入GCC编译器。仿真实验结果表明，该算法是有效的，且具有一定应用价值。

关键词: 信息流分析, 隐蔽通道, 静态单一赋值, 编译器

CLC Number: 

• TP301