摘要：
阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径，并给出数据流分析实例。
关键词:
抽象解释,
值范围分析,
数据流分析,
运行时刻环境
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.
Key words:
abstract interpretation,
value range analysis,
data flow analysis,
run-time environment
中图分类号:
窦增杰, 王震宇, 姚伟平, 陈楠, 余弦. 基于抽象解释的可执行代码值范围分析[J]. 计算机工程, 2010, 36(22): 69-71.
DOU Ceng-Jie, WANG Shen-Yu, TAO Wei-Beng, CHEN Nan, TU Xian. Value Range Analysis of Executable Code Based on Abstract Interpretation[J]. Computer Engineering, 2010, 36(22): 69-71.