IBM Research Report Evaluating the E(cid:11)ectiveness of Pointer Alias Analyses
IBM Research Report Evaluating the E(cid:11)ectiveness of Pointer Alias Analyses
复制标题
IBM 研究报告评估指针别名分析的 E(cid:11) 有效性
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Anthony Pioli
中科院分区：
文献类型：
--
作者：
M. Hind;Research Division Almaden T.J. Watson;Tokyo Zurich;Anthony Pioli
本文描述了对使用不同程度的 (cid:13)ow 敏感性的六种上下文不敏感指针分析算法的 e(cid:11) 有效性的实证比较。其中四种算法是 (cid:13)ow 不敏感的，一种是 (cid:13)ow 敏感的，另一种是 (cid:13)ow 不敏感的，但使用预先计算的 (cid:13)ow 敏感信息。每个分析的 e(cid:11) 有效性根据编译时 e(cid:14) 效率和精度进行量化 (cid:12)。 E(cid:14)ciency 通过测量每次分析的 CPU 时间和内存消耗来报告。通过测量取消引用指针的程序点处的计算解决方案来报告精度。本文的结果将帮助实现者确定哪种指针分析适合他们的应用程序。
This paper describes an empirical comparison of the e(cid:11)ectiveness of six context-insensitive pointer analysis algorithms that use varying degrees of (cid:13)ow-sensitivity. Four of the algorithms are (cid:13)ow-insensitive, one is (cid:13)ow-sensitive, and another is (cid:13)ow-insensitive, but uses precomputed (cid:13)ow-sensitive information. The e(cid:11)ectiveness of each analysis is quanti(cid:12)ed in terms of compile-time e(cid:14)ciency and precision. E(cid:14)ciency is reported by measuring CPU time and memory consumption of each analysis. Precision is reported by measuring the computed solutions at the program points where a pointer is dereferenced. The results of this paper will help implementors determine which pointer analysis is appropriate for their application.