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

• 作者: 曾庆凯 黄强
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 信息流分析 隐蔽通道 静态单一赋值 编译器
• 年，卷（期）: 2009,（13）
• 所属期刊栏目: 安全技术
• 页码范围: 166-168,171
• 页数: 4页
• 分类号: TP301
• 字数: 3394字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.13.057

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机科学与技术系	58	555	13.0	21.0
5	黄强	南京大学计算机科学与技术系	4	40	2.0	4.0