| 基于语义规则的污点传播分析优化方法 |
| |
| 引用本文： | 林伟,蔡瑞杰,祝跃飞,石小龙. 基于语义规则的污点传播分析优化方法[J]. 计算机应用, 2014, 34(12): 3511-3514 |
| |
| 作者姓名： | 林伟 蔡瑞杰 祝跃飞 石小龙 |
| |
| 作者单位： | 数学工程与先进计算国家重点实验室, 郑州 450002 |
| |
| 基金项目： | 国家科技支撑计划项目;国家自然科学基金资助项目;郑州市科技创新团队项目 |
| |
| 摘 要： | ![]()
离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。
|
| 关 键 词： | 离线污点分析 轨迹跟踪 语义规则 污点传播 时间开销 |
| 收稿时间： | 2014-07-02 |
| 修稿时间： | 2014-09-16 |
Optimization method of taint propagation analysis based on semantic rules |
| |
| LIN Wei ZHU Yuefei SHI Xiaolong CAI Ruijie. Optimization method of taint propagation analysis based on semantic rules[J]. Journal of Computer Applications, 2014, 34(12): 3511-3514 |
| |
| Authors: | LIN Wei ZHU Yuefei SHI Xiaolong CAI Ruijie |
| |
| Affiliation: | State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou Henan 450002, China |
| |
| Abstract: | ![]()
|
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
