| 基于抽象解释的可执行代码值范围分析 |
| |
| 引用本文： | 窦增杰,王震宇,姚伟平,陈楠,余弦.基于抽象解释的可执行代码值范围分析[J].计算机工程,2010,36(22):69-71. |
| |
| 作者姓名： | 窦增杰 王震宇 姚伟平 陈楠 余弦 |
| |
| 作者单位： | (解放军信息工程大学信息工程学院，郑州 450002) |
| |
| 基金项目： | 国家"863 计划"基金资助项目，河南省高新领域重点攻关基金资助项目 |
| |
| 摘 要： | 阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径，并给出数据流分析实例。
|
| 关 键 词： | 抽象解释 值范围分析 数据流分析 运行时刻环境 |
Value Range Analysis of Executable Code Based on Abstract Interpretation |
| |
| DOU Zeng-jie,WANG Zhen-yu,YAO Wei-ping,CHEN Nan,YU Xian.Value Range Analysis of Executable Code Based on Abstract Interpretation[J].Computer Engineering,2010,36(22):69-71. |
| |
| Authors: | DOU Zeng-jie WANG Zhen-yu YAO Wei-ping CHEN Nan YU Xian |
| |
| Affiliation: | (Institute of Information Engineering, PLA Information Engineering University, Zhengzhou 450002, China) |
| |
| Abstract: | The abstract memory model and the abstract run-time environment of executable code are described. The data flow analysis is given and the correctness and computability of data flow analysis are ensured based on abstract interpretation theory. Abstract interpretation is used to propagate the variable value range information through the generic monotone dataflow framework. New methods to automatically compute the maximal counts of iterations of the loops and to identify the infeasible paths are presented. The example of analyzing program’s data flow is given. |
| |
| Keywords: | abstract interpretation value range analysis data flow analysis run-time environment |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
