基于SSA中间表示的源代码信息流分析

作者：黄强; 曾庆凯

来源：计算机工程, 2009, (13): 166-168+171.

• 信息流分析
• 隐蔽通道
• 静态单一赋值
• 编译器 Information Flow Analysis(IFA)
• covert channel
• Static Single Assignment(SSA)
• compiler

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学