首页 | 官方网站   微博 | 高级检索  
     

基于SSA中间表示的源代码信息流分析
引用本文:黄强,曾庆凯.基于SSA中间表示的源代码信息流分析[J].计算机工程,2009,35(13):166-168.
作者姓名:黄强  曾庆凯
作者单位:1. 南京大学计算机科学与技术系,南京,210093
2. 南京大学计算机科学与技术系,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093
基金项目:国家自然科学基金资助项目,国家"863"计划基金资助项目 
摘    要:提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。

关 键 词:信息流分析  隐蔽通道  静态单一赋值  编译器
修稿时间: 

Information Flow Analysis in Source Code Based on SSA Intermediate Representation
HUANG Qiang,ZENG Qing-kai.Information Flow Analysis in Source Code Based on SSA Intermediate Representation[J].Computer Engineering,2009,35(13):166-168.
Authors:HUANG Qiang  ZENG Qing-kai
Affiliation:1.Dept.of Computer Science & Technology;Nanjing University;Nanjing 210093;2.State Key Lab for Novel Software Technology;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.
Keywords:Information Flow Analysis(IFA)  covert channel  Static Single Assignment(SSA)  compiler
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号