一种面向程序动态分析的循环摘要生成方法

聂楚江; 刘海峰; 苏璞睿; 冯登国

doi:10.3969/j.issn.0372-2112.2014.06.012

您当前的位置：

首页 >

文章列表页 >

一种面向程序动态分析的循环摘要生成方法

学术论文 | 更新时间：2025-07-16

- 一种面向程序动态分析的循环摘要生成方法
- A Loop Summarization Method for Dynamic Binary Program Analysis
- 电子学报 2014年42卷第6期页码：1110-1117
- 作者机构：
  
  1. 中国科学院软件研究所可信计算与信息保障实验室,北京,100190
  2. 北京信息安全测评中心,北京,100101
  3. 中国科学院软件研究所可信计算与信息保障实验室,北京,100190
  4. 北京信息安全测评中心,北京,100101
- 作者简介：
- 基金信息：
  
  国家自然科学基金项目“基于动态污点传播的恶意软件逆向分析研究” (No.61073179）;国家重点基础研究发展计划 (973计划）课题“未来互联网安全与可信机理” (No.2012CB315804）;北京市自然科学基金项目“基于虚拟化技术的智能手机恶意软件检测方法研究” (No.4122086）
- DOI：10.3969/j.issn.0372-2112.2014.06.012
  中图分类号： TP309
- 纸质出版：2014
- 稿件说明：
移动端阅览
聂楚江, 刘海峰, 苏璞睿, 等. 一种面向程序动态分析的循环摘要生成方法[J]. 电子学报, 2014,42(6):1110-1117.

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.
聂楚江, 刘海峰, 苏璞睿, 等. 一种面向程序动态分析的循环摘要生成方法[J]. 电子学报, 2014,42(6):1110-1117. DOI： 10.3969/j.issn.0372-2112.2014.06.012.

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

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

一种面向性质的实时系统测试方法

基于抽象解释的变量值范围分析及应用