arrow
返回

Fast and precise points-to analysis

delete2009-10-01
delete9
PRE
AI
J
Jonas Lundberg
T
Tobias Gutzmann *
M
Marcus Edvinsson
W
Welf Löwe
DOI:10.1016/j.infsof.2009.04.012delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Many software engineering applications require points-to analysis. These client applications range from optimizing compilers to integrated program development environments (IDEs) and from testing environments to reverse-engineering tools. Moreover, software engineering applications used in an edit-compile cycle need points-to analysis to be fast and precise. In this article, we present a new context- and flow-sensitive approach to points-to analysis where calling contexts are distinguished by the points-to sets analyzed for their call target expressions. Compared to other well-known context-sensitive techniques it is faster in practice, on average, twice as fast as the call string approach and by an order of magnitude faster than the object-sensitive technique. In fact, it shows to be only marginally slower than a context-insensitive baseline analysis. At the same time, it provides higher precision than the call string technique and is similar in precision to the object-sensitive technique. We confirm these statements with experiments using a number of abstract precision metrics and a concrete client application: escape analysis. (C) 2009 Elsevier B.V. All rights reserved.
Keyword:
Points-to analysis
Dataflow analysis
Escape analysis
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Information and Software Technology 封面图
Information and Software Technology
IF:
4.3
论文数:
3.8K
被引数:
7.7K

机构

V
vaxjo university
学者数:
55
论文数: 38
被引数: 0
引用论文

引用论文

err
IF0
err
err0
PREAI
err
err分享
err收藏
Comparison of short-term heart rate variability indexes evaluated through electrocardiographic and continuous blood pressure monitoring
err2019-02-07
err0
PREAI
errRiccardo Pernice; Michal Javorka; Jana Krohova; Barbora Czippelova; Zuzana Turianikova; Alessandro Busacca; Luca Faes
err分享
err收藏
err分享
err收藏
学者 查看更多内容