A Technique of Similar Execution Paths Generation Based on Dynamic Synergy Bidirectional Mapping

GUO Xi; WANG Pan

doi:10.3969/j.issn.0372-2112.2014.11.007

您当前的位置：

首页 >

文章列表页 >

A Technique of Similar Execution Paths Generation Based on Dynamic Synergy Bidirectional Mapping

更新时间：2025-07-16

- A Technique of Similar Execution Paths Generation Based on Dynamic Synergy Bidirectional Mapping
- Acta Electronica Sinica Vol. 42, Issue 11, Pages: 2168-2173(2014)
- 作者机构：
  
  1. 华中农业大学信息学院计算机科学系,湖北,武汉,430070
  2. 武汉电力职业技术学院,湖北,武汉,430079
  3. 武汉大学电气工程学院,湖北,武汉,430072
  4. 华中农业大学信息学院计算机科学系,湖北,武汉,430070
  5. 武汉电力职业技术学院,湖北,武汉,430079
  6. 武汉大学电气工程学院,湖北,武汉,430072
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2014.11.007
  CLC： TP311
- Published：2014
- 稿件说明：
移动端阅览
GUO Xi, WANG Pan. A Technique of Similar Execution Paths Generation Based on Dynamic Synergy Bidirectional Mapping[J]. Acta Electronica Sinica, 2014, 42(11): 2168-2173.
DOI：

GUO Xi, WANG Pan. A Technique of Similar Execution Paths Generation Based on Dynamic Synergy Bidirectional Mapping[J]. Acta Electronica Sinica, 2014, 42(11): 2168-2173. DOI： 10.3969/j.issn.0372-2112.2014.11.007.

摘要

相似执行路径的生成是代码分析和检测的基础性工作之一

现有的方法通常以程序的行为序列或结构为分析对象

通过改变关键谓词的取值等方法来进行分析

但由于缺乏必要的引导信息导致生成的相似路径的有效性较低

另外由于路径的谓词集合较长而难以求解也降低了分析的精度.提出基于动态协同双向映射的分析方法

通过对程序控制流图的表示形式进行扩展

结合后向符号分析的方法生成候选路径的最弱前置条件

并以此为引导信息使用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合.实验结果表明

与现有的方法相比

该方法的准确性和效率有明显的优势.

Abstract

Similar execution paths generation is one of the fundamental tasks in code analysis and detection.The current methods usually target to the program behavior or program structure

and change the value of key predicates

but these methods has a low effectiveness due to the lack of the necessary guidance information

Meanwhile

the predicates set has a large size and usually hard to solve

thus it will reduce the analyze precision as well.A technique of similar execution paths generation based on dynamic synergy bidirectional mapping is proposed in this paper.According to extend the shape of Control Flow Graph and use the backward symbolic analysis

the weakest precondition of the candidate path is generated

which can be used as the guidance information to generate pointed similar execution paths set according to the edit distance via changing the distance factor.The experimental results show that this method has the advantage of precision and anti-inference.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Conditional Context-Aware Detection for Android Malicious Virtualization Apps

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

Precisely Detecting Buffer Overflow Vulnerabilities

Performance Oriented Allocation Scheme for Scratch-Pad Memory

Hybrid Instruction Prefetch Based on Control Flow

Related Author

MENG Zhao-yi

HUANG Wen-chao

ZHANG Wei-nan

XIONG Yan

YANG Zhao-hong

XIAO Qing

GONG Yun-zhan

WANG Ya-wen

Related Institution

School of Computer Science and Technology， Anhui University

School of Computer Science and Technology， University of Science and Technology of China

Department of Information Engineering Academy of Armored Force Engineering Beijing China

State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China

Department of Information Engineering, Academy of Armored Force Engineering

⁰