Pointer Analysis
Pointer Analysis
复制标题
指针分析
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
G. Balatsouras
中科院分区：
文献类型：
--
作者：
Y. Smaragdakis;G. Balatsouras
指针分析是一种基本的静态程序分析，具有丰富的文献和广泛的应用。指针分析的目的是计算指针变量或表达式所指的一组程序对象的近似值。我们介绍了指针分析技术的介绍和调查，重点是提取共同分析算法的本质。为此，我们着重于指示指针分析的共同核心的声明性呈现：算法被建模为可配置，但易于遵循的逻辑规格。这些规范是对文献进行更广泛讨论的起点，因为独立线程从声明性模型中旋转。
Pointer analysis is a fundamental static program analysis, with a rich literature and wide applications. The goal of pointer analysis is to compute an approximation of the set of program objects that a pointer variable or expression can refer to. We present an introduction and survey of pointer analysis techniques, with an emphasis on distilling the essence of common analysis algorithms. To this end, we focus on a declarative presentation of a common core of pointer analyses: algorithms are modeled as configurable, yet easy-to-follow, logical specifications. The specifications serve as a starting point for a broader discussion of the literature, as independent threads spun from the declarative model.