-
题名基于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
-
-
作者
刘杰
张普含
尹中旭
宋晓龙
-
机构
国家数字交换系统工程技术研究中心
中国信息安全测评中心
北京华夏信安科技有限公司
-
出处
《计算机工程》
CAS
CSCD
2012年第23期28-32,共5页
-
基金
国家"863"计划基金资助项目(2008AA01Z420)
-
文摘
隐式流对于污点分析方法的准确性有重要影响。为此,提出一种基于程序单静态赋值形式的隐式流检测方法。通过生成控制流图的必经节点树检测控制依赖关系,计算必经边界发现程序汇合点,引入虚拟取值函数获得汇合点变量的多个赋值,从而判别变量取值分歧并标记污点属性。与人工审计结果的对比证明,该方法能够诊断2个污点分析工具的污染缺失和污染过度问题,有效降低隐式流分析的误报率和漏报率。
-
关键词
污点分析
隐式流
显式流
控制依赖
单静态赋值
必经边界
-
Keywords
taint analysis
implicit flow
explicit flow
control dependence
static singleassignment（ssa）
dominance frontier
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种需求驱动的可信指针分析技术
- 4
-
-
作者
章洁
周西柳
-
机构
新余学院数学与计算机科学学院
-
出处
《计算机应用与软件》
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
- 5
-
-
作者
张明军
罗军
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于滑动奇异谱分析方法的重力固体潮提取
被引量：3
- 6
-
-
作者
王建波
王晋南
孙洁
齐鑫敏
刘相威
高文宗
-
机构
江苏海洋大学海洋技术与测绘学院
菏泽市测绘研究院
山东科技大学测绘与空间信息学院
-
出处
《大地测量与地球动力学》
CSCD
北大核心
2021年第8期865-870,共6页
-
基金
江苏海洋大学“测绘科学与技术”重点学科项目
江苏海洋大学人才引进项目(KQ17024)。
-
文摘
提出采用滑动奇异谱分析(singular spectrum analysis,SSA)方法进行长时间重力固体潮改正提取。采用61 d静态相对重力测量数据,利用滑动SSA方法将数据按连续时间段10 d、15 d、20 d、25 d、30 d、40 d和50 d分别分为52组、47组、42组、37组、32组、22组和12组进行重力固体潮改正提取实验。参考理论值分别选用CG-5重力仪自带软件计算结果(CG5_Data)和实测重力数据采用Eterna调和分析获得潮波参数后用TSoft软件计算结果(ET_Data)。结果表明,参考理论值选用ET_Data时,残差的RMS和STD比选用CG-5重力仪计算结果小;采用不同方法提取的重力固体潮改正残差的标准差均小于11μGal;与SSA方法相比,当选择合适的连续时间段时,滑动SSA方法提取固体潮能降低结果残差的离散程度;选择连续时间段30 d、40 d时,滑动SSA提取结果比SSA提取结果残差的RMS分别小0.219μGal和0.602μGal(CG5_Data)以及0.430μGal和0.665μGal(ET_Data)。
-
关键词
静态相对重力测量
滑动ssa
重力固体潮改正
海潮改正
-
Keywords
static relative gravimetry
sliding ssa
gravity tide correction
ocean tide correction
-
分类号
P223
[天文地球—大地测量学与测量工程]
-
