计算机应用 ›› 2014, Vol. 34 ›› Issue (12): 3511-3514.

• 计算机软件技术 • 上一篇    下一篇

基于语义规则的污点传播分析优化方法

林伟,祝跃飞,石小龙,蔡瑞杰   

  1. 数学工程与先进计算国家重点实验室, 郑州 450002
  • 收稿日期:2014-07-02 修回日期:2014-09-16 出版日期:2014-12-01 发布日期:2014-12-31
  • 通讯作者: 林伟
  • 作者简介:林伟(1986-),男,湖南常德人,博士研究生,主要研究方向:逆向分析、网络协议分析;蔡瑞杰(1990-),男,河南郑州人,硕士研究生,主要研究方向:逆向分析、网络协议分析;祝跃飞(1963-),男,河南郑州人,教授,博士生导师,主要研究方向:密码学、网络信息安全;石小龙(1988-),男,湖北襄樊人,硕士研究生,主要研究方向:网络协议分析。
  • 基金资助:

    国家科技支撑计划项目;国家自然科学基金资助项目;郑州市科技创新团队项目

Optimization method of taint propagation analysis based on semantic rules

LIN Wei,ZHU Yuefei,SHI Xiaolong,CAI Ruijie   

  1. State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou Henan 450002, China
  • Received:2014-07-02 Revised:2014-09-16 Online:2014-12-01 Published:2014-12-31
  • Contact: LIN Wei

摘要:

离线污点分析中的针对轨迹记录文件的污点传播分析的时间开销非常巨大,因此研究快速高效的污点传播分析具有重要意义。针对上述问题,提出了一种基于语义规则的污点传播分析优化方法。该方法定义了一种指令的语义描述规则,用于描述指令的污点传播语义,利用中间语言自动生成汇编指令的语义规则,再根据语义规则进行污点传播分析,避免了现有污点分析方法中指令重复执行导致的重复语义解析,提高了污点分析的效率。实验结果表明,所提方法能够有效降低污点传播分析的时间开销,仅占传统基于中间语言污点分析的14%左右,提高了分析效率。

Abstract:

Time overhead of the taint propagation analysis in the off-line taint analysis is very large, so the research on efficient taint propagation has important significance. In order to solve the problem, an optimization method of taint propagation analysis based on semantic rules was proposed. This method defined semantic description rules for the instruction to describe taint propagation semantics, automatically generated the semantics of assembly instructions by using the intermediate language, and then analyzed taint propagation according to the semantic rules, to avoid the repeated semantic parsing caused by repeating instructions execution in the existing taint analysis method, thus improving the efficiency of taint analysis. The experimental results show that, this method can effectively reduce the time cost of taint propagation analysis, only costs 14% time of the taint analysis based on intermediate language.

中图分类号: