-
题名基于语义规则的污点传播分析优化方法
被引量：2
- 1
-
-
作者
林伟
蔡瑞杰
祝跃飞
石小龙
-
机构
数学工程与先进计算国家重点实验室
-
出处
《计算机应用》
CSCD
北大核心
2014年第12期3511-3514,共4页
-
基金
国家科技支撑计划项目(2012BAH47B01)
国家自然科学基金资助项目(61309007)
郑州市科技创新团队项目(10CXTD150)
-
文摘
离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。
-
关键词
离线污点分析
轨迹跟踪
语义规则
污点传播
时间开销
-
Keywords
off-line taint analysis
track recording
semantic rule
taint propagation
time overhead
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于启发式的程序轨迹记录优化方法
- 2
-
-
作者
林伟
祝跃飞
蔡瑞杰
-
机构
数学工程与先进计算国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第21期134-139,共6页
-
基金
国家科技支撑计划(No.2012BAH47B01)
国家自然科学基金(No.61170234
+1 种基金
No.61309007)
郑州科技创新团队项目(No.10CXTD150)
-
文摘
离线污点分析的轨迹记录过程的时空开销非常巨大,因此研究高效的轨迹记录方式在离线污点分析中具有重要意义。基于此,针对传统指令级轨迹记录存在的时空开销过大的问题,结合程序重放的思想,提出了一种启发式的轨迹记录方法,只在基本块和特殊事件发生时记录寄存器变化状态信息,并对该种记录方法的信息等价性进行了理论证明。实验表明,该方法能够有效降低离线污点分析中轨迹记录的时空开销,提高污点分析效率。
-
关键词
启发式
轨迹记录
离线污点分析
动态二进制插桩
轨迹约减
-
Keywords
heuristic
track recording
off-line taint analysis
dynamic binary instrument
track packing
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
