A Loop Summarization Method for Dynamic Binary Program Analysis

NIE Chu-jiang; LIU Hai-feng; SU Pu-rui; FENG Deng-guo

doi:10.3969/j.issn.0372-2112.2014.06.012

您当前的位置：

首页 >

文章列表页 >

A Loop Summarization Method for Dynamic Binary Program Analysis

更新时间：2025-07-16

- A Loop Summarization Method for Dynamic Binary Program Analysis
- Acta Electronica Sinica Vol. 42, Issue 6, Pages: 1110-1117(2014)
- 作者机构：
  
  1. 中国科学院软件研究所可信计算与信息保障实验室,北京,100190
  2. 北京信息安全测评中心,北京,100101
  3. 中国科学院软件研究所可信计算与信息保障实验室,北京,100190
  4. 北京信息安全测评中心,北京,100101
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2014.06.012
  CLC： TP309
- Published：2014
- 稿件说明：
移动端阅览
NIE Chu-jiang, LIU Hai-feng, SU Pu-rui, et al. A Loop Summarization Method for Dynamic Binary Program Analysis[J]. Acta Electronica Sinica, 2014, 42(6): 1110-1117.
DOI：

NIE Chu-jiang, LIU Hai-feng, SU Pu-rui, et al. A Loop Summarization Method for Dynamic Binary Program Analysis[J]. Acta Electronica Sinica, 2014, 42(6): 1110-1117. DOI： 10.3969/j.issn.0372-2112.2014.06.012.

摘要

动态测试数据生成方法相对于传统Fuzz测试方法能有效的提高软件测试与漏洞分析的效率.本文针对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题，提出了一种使用归纳变量构建循环摘要，并通过符号计算提取循环摘要的方法.本文通过将循环摘要应用于软件动态分析过程中，验证了使用循环摘要能有效的提高约束求解与循环路径遍历的效率.

Abstract

Compared to the traditional Fuzz testing

dynamic test generation can improve the efficiency of software testing and vulnerability analysis. This paper focuses on the performance of path covering and constraint solving in dynamic test generation

and proposes a method which constructs loop summary with induce variables and abstracts loop summary by symbolic computation. This paper uses the loop summary in software dynamic analysis

and proves that the loop summary can improve the efficiency of loop constraint solving and loop path traversal.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

The Testing and Repairing Methods for Machine Learning Model Security

MART Algorithm Based on Mirror Selection Order Optimization

Novel Evolutionary Generation Approach to Test Data for Multiple Paths Coverage

An Approach to Property-Oriented Testing of Real-Time Systems

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

Related Author

LIN Chen-hao

SHEN Chao

ZHANG Xiao-yu

LI Qian

WANG Qian

LI Qi

GUAN Xiao-hong

LI Zhi-bo

Related Institution

Institute for Network Sciences and Cyberspace， Tsinghua University

School of Cyber Science and Engineering， Wuhan University

Key Laboratory for Intelligent Networks and Network Security（Xi’an Jiaotong University）

School of Cyber Science and Engineering， Faculty of Electronic and Information Engineering， Xi’an Jiaotong;University

Zhongguancun Laboratory

⁰