-
题名基于SSA中间表示的源代码信息流分析
被引量：1
- 1
-
-
作者
黄强
曾庆凯
-
机构
南京大学计算机科学与技术系
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第13期166-168,171,共4页
-
基金
国家自然科学基金资助项目(60773170
60721002)
国家"863"计划基金资助项目(2006AA01Z432)
-
文摘
提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。
-
关键词
信息流分析
隐蔽通道
静态单一赋值
编译器
-
Keywords
Information Flow analysis（IFA）
covert channel
static single assignment（ssa）
compiler
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名快速自动程序流分析方法研究
被引量：1
- 2
-
-
作者
吴国伟
曹厚华
-
机构
大连理工大学软件学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第15期55-56,共2页
-
基金
国家自然科学基金资助项目(60703101)
-
文摘
介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息。实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程。
-
关键词
嵌入式软件
静态单赋值
程序切片
抽象解释
-
Keywords
embedded software
static single assignment（ssa）
program slicing
abstract interpretation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种需求驱动的可信指针分析技术
- 3
-
-
作者
章洁
周西柳
-
机构
新余学院数学与计算机科学学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2013年第1期160-164,共5页
-
文摘
针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式,使SSA可以用来表示间接的内存操作,即可以显式地将指针的解引用表示出来;之后利用引用定值分析将每个扩展SSA变量进行抽象存储,即记录每个变量的存储位置和引用位置,然后通过链进行连接;这样能够很容易地将指针,特别是需要分析的指针进行重点的有针对性的分析,这种本着需求驱动策略的分析方法大大提高分析的效率,最后通过实验验证了该方法的有效性。
-
关键词
可信指针分析
控制流分析
数据流分析
静态单赋值
需求驱动
-
Keywords
Trustworthy pointer analysis Control flow analysis Data flow analysis static single assignment （ssa） Demand-driven
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名缓冲区溢出静态分析中的指针分析算法
被引量：4
- 4
-
-
作者
张明军
罗军
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第18期41-43,107,共4页
-
基金
国家"863"计划软件重大专项基金资助项目"服务器操作系统内核"(2002AA1Z2101)
-
文摘
提出一个扩展的流不敏感指针分析算法,主要用于缓冲区溢出静态分析,该算法把程序控制流图(CFG)转换为静态单指派(SSA),然后循环调用一个流不敏感指针分析,生成每个指针变量精确的指向集,更新指针变量的定义-引用链中约束信息。在LLVM编译系统下实现了该算法,实验表明其精度和流敏感的指针分析算法相当,但效率高于流敏感指针分析算法,时间复杂度低于流敏感指针分析算法。
-
关键词
缓冲区溢出
指针分析
静态单指派
定义-引用链
-
Keywords
Buffer overflow
pointer analysis： static single assignment （ssa）
Define-use chain
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
