10.3969/j.issn.1000-3428.2009.13.057
基于SSA中间表示的源代码信息流分析
提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器.仿真实验结果表明,该算法是有效的,且具有一定应用价值.
信息流分析、隐蔽通道、静态单一赋值、编译器
35
TP301(计算技术、计算机技术)
国家自然科学基金资助项目60773170,60721002;国家"863"计划基金资助项目2006AA01ZA32
2009-07-29(万方平台首次上网日期,不代表论文的发表时间)
共4页
166-168,171