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

第35 卷 第13 期 计 算 机 工 程 2009 年7 月 Vol.35 No.13 Computer Engineering July 2009 ·安全技术· 文章编号：1000—3428(2009)13—0166—03 文献标识码：A 中图分类号：TP301 基于SSA 中间表示的源代码信息流分析 黄 强1 ，曾庆凯1,2 (1. 南京大学计算机科学与技术系，南京 210093 ；2. 南京大学计算机软件新技术国家重点实验室，南京 210093) 摘 要：提出一种基于SSA 中间表示的源代码信息流分析算法，介绍隐蔽通道识别过程，采用基于信息流的工作表实现该算法，讨论其在 时空代价以及分析精度方面的特点，并将分析框架嵌入GCC 编译器。仿真实验结果表明，该算法是有效的，且具有一定应用价值。 关键词：信息流分析；隐蔽通道；静态单一赋值；编译器 Information Flow Analysis in Source Code Based on SSA Intermediate Representation HUANG Qiang 1, ZENG Qing-kai1,2 (1. Dept. of Computer Science Technology, Nanjing University, Nanjing 210093; 2. State Key Lab for Novel Software Technology, Nanjing University, Nanjing 210093) 【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 标识和消除隐蔽通道是高等级安全系统的重要要求。目 递计算可能得到a→a 形式的信息流，无法辨认其产生时间， [1] [2] 前除了共享资源矩阵 和无干扰分析 等方法外，信息流分