计算机工程2009,Vol.35Issue(13):166-168,171,4.
基于SSA中间表示的源代码信息流分析
Information Flow Analysis in Source Code Based on SSA Intermediate Representation
摘要
关键词
信息流分析/隐蔽通道/静态单一赋值/编译器分类
信息技术与安全科学引用本文复制引用
黄强,曾庆凯..基于SSA中间表示的源代码信息流分析[J].计算机工程,2009,35(13):166-168,171,4.基金项目
国家自然科学基金资助项目(60773170,60721002) (60773170,60721002)
国家"863"计划基金资助项目(2006AA01ZA32) (2006AA01ZA32)