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

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

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

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

数学工程与先进计算国家重点实验室, 郑州 450002

收稿日期:2014-07-02 修回日期:2014-09-16 发布日期:2014-12-31 出版日期:2014-12-01
通讯作者: 林伟
作者简介:林伟(1986-),男,湖南常德人,博士研究生,主要研究方向:逆向分析、网络协议分析；蔡瑞杰(1990-),男,河南郑州人,硕士研究生,主要研究方向:逆向分析、网络协议分析；祝跃飞(1963-）,男,河南郑州人,教授,博士生导师,主要研究方向:密码学、网络信息安全；石小龙(1988-）,男,湖北襄樊人,硕士研究生,主要研究方向:网络协议分析。
基金资助:
国家科技支撑计划项目;国家自然科学基金资助项目;郑州市科技创新团队项目

Optimization method of taint propagation analysis based on semantic rules

LIN Wei,ZHU Yuefei,SHI Xiaolong,CAI Ruijie

State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou Henan 450002, China

Received:2014-07-02 Revised:2014-09-16 Online:2014-12-31 Published:2014-12-01
Contact: LIN Wei

摘要/Abstract

摘要：

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

中图分类号:

TP393.08

林伟祝跃飞石小龙蔡瑞杰. 基于语义规则的污点传播分析优化方法[J]. 计算机应用, 2014, 34(12): 3511-3514.

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.

参考文献

［1］LU K. The vulnerabilities detection technology research and implementation based on dynamic taint analysis ［D］. Chengdu: University of Electronic Science and Technology of China, 2013.(陆开奎. 基于动态污点分析的漏洞攻击检测技术研究与实现［D］. 成都:电子科技大学, 2013.）
［2］LIU Y, WANG M, SU P, et al. Communication protocol reverse engineering of malware using dynamic taint analysis ［J］. Acta Electronica Sinica, 2012, 40(4): 661-668.(刘豫, 王明华, 苏璞睿, 等. 基于动态污点分析的恶意代码通信协议逆向分析方法［J］. 电子学报, 2012, 40(4): 661-668.）
［3］LIU X. A non control data attack defense model design and implementation based on the pointer taint analysis［D］.Nanjing: Nanjing University, 2013.(刘小龙. 基于指针污点分析的非控制数据攻击防御模型的设计和实现［D］. 南京:南京大学, 2013.）
［4］WANG Z. Dynamic taint analysis of binary code based on symbolic execution［D］. Shanghai: Shanghai Jiao Tong University, 2010.(王卓. 基于符号执行的二进制代码动态污点分析［D］. 上海:上海交通大学, 2010.）
［5］WANG T. The vulnerability mining for binary program ［D］. Beijing: Peking University, 2011.(王铁磊. 面向二进制程序的安全漏洞挖掘［D］. 北京:北京大学, 2011.）
［6］HUANG Z. An improved dynamic taint analysis model［D］. Wuhan: Huazhong University of Science and Technology, 2011.(黄昭. 一种改进的动态污点分析模型［D］. 武汉:华中科技大学, 2011.）
［7］PATIL H, PEREIRA C, STALLCUP M, et al. PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs［C］// Proceedings of the 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization. New York: ACM, 2010: 2-11.
［8］LUK C K. Pin: building customized program analysis tools with dynamic instrumentation ［EB/OL］. ［2014-06-12］.http://www.cs.virginia.edu/papers/p190-luk.pdf.
［9］BRUENING D L. Efficient, transparent, and comprehensive runtime code manipulation ［D］. Cambridge: MIT, 2004.
［10］NETHERCOTE N, SEWARD J. Valgrind: a framework for heavyweight dynamic binary instrumentation［EB/OL］. ［2014-04-20］.http://valgrind.org/docs/valgrind2007.pdf.
［11］SONG D, BRUMLEY D, YIN H, et al. BitBlaze: a new approach to computer security via binary analysis［M］. Berlin: Springer, 2008: 1-25.
［12］BRUMLEY D, JAGER I, AVGERINOS T, et al. BAP: a binary analysis platform［C］// Proceedings of the 23rd International Conference on Computer Aided Verification. Berlin: Springer, 2011: 463-469.

[1]	方介泼, 陶重犇. 应对零日攻击的混合车联网入侵检测系统[J]. 《计算机应用》唯一官方网站, 2024, 44(9): 2763-2769.
[2]	徐航, 杨智, 陈性元, 韩冰, 杜学绘. 基于自适应敏感区域变异的覆盖引导模糊测试[J]. 《计算机应用》唯一官方网站, 2024, 44(8): 2528-2535.
[3]	邓淼磊阚雨培孙川川徐海航樊少珺周鑫. 基于深度学习的网络入侵检测系统综述[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[4]	姚梓豪, 栗远明, 马自强, 李扬, 魏良根. 基于机器学习的多目标缓存侧信道攻击检测模型[J]. 《计算机应用》唯一官方网站, 2024, 44(6): 1862-1871.
[5]	朱亮慕京哲左洪强谷晶中朱付保. 基于联邦图神经网络的位置隐私保护推荐方案[J]. 《计算机应用》唯一官方网站, 0, (): 0-0.
[6]	李向军, 王俊洪, 王诗璐, 陈金霞, 孙纪涛, 王建辉. 基于多模型并行融合网络的恶意流量检测方法[J]. 《计算机应用》唯一官方网站, 2023, 43(S2): 122-129.
[7]	徐精诚, 陈学斌, 董燕灵, 杨佳. 融合特征选择的随机森林DDoS攻击检测[J]. 《计算机应用》唯一官方网站, 2023, 43(11): 3497-3503.
[8]	霍珊珊, 李艳俊, 刘健, 李寅霜. 密码组件安全指标测试工具设计与实现[J]. 《计算机应用》唯一官方网站, 2023, 43(10): 3156-3161.
[9]	郭祥, 姜文刚, 王宇航. 基于改进Inception-ResNet的加密流量分类方法[J]. 《计算机应用》唯一官方网站, 2023, 43(8): 2471-2476.
[10]	江魁, 余志航, 陈小雷, 李宇豪. 基于BERT-CNN的Webshell流量检测系统设计与实现[J]. 《计算机应用》唯一官方网站, 2023, 43(S1): 126-132.
[11]	郑超, 邬悦婷, 肖珂. 基于联邦学习和深度残差网络的入侵检测[J]. 《计算机应用》唯一官方网站, 2023, 43(S1): 133-138.
[12]	孙怡亭, 郭越, 李长进, 张红军, 刘康, 刘俊矫, 孙利民. 可编程逻辑控制器的控制逻辑注入攻击入侵检测方法[J]. 《计算机应用》唯一官方网站, 2023, 43(6): 1861-1869.
[13]	胡海岩, 康巧燕, 赵朔, 王建峰, 付有斌. 基于节点综合重要度排序的服务功能链部署优化方法[J]. 《计算机应用》唯一官方网站, 2023, 43(3): 860-868.
[14]	程靖云, 王布宏, 罗鹏. 基于深度语义融合的代码缺陷静态检测方法[J]. 《计算机应用》唯一官方网站, 2022, 42(10): 3170-3176.
[15]	毕文婷, 林海涛, 张立群. 基于多阶段演化信号博弈模型的移动目标防御决策算法[J]. 《计算机应用》唯一官方网站, 2022, 42(9): 2780-2787.