Flow insensitive points-to sets

被引：3

作者：

Anderson, P ^{[1
]}

Binkley, D ^{[1
]}

Rosay, G ^{[1
]}

Teitelbaum, T ^{[1
]}

机构：

[1] GrammaTech Inc, Ithaca, NY 14850 USA

来源：

INFORMATION AND SOFTWARE TECHNOLOGY | 2002年 / 44卷 / 13期

关键词：

pointer analysis; Andersen algorithm; Fahndrich algorithm;

D O I：

10.1016/S0950-5849(02)00105-2

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collected from 27 mid-sized C programs (ranging in size from 1168 to 87,579 lines of code) is presented. The data shows the relative sizes and the complexities of computing points-to sets. Such data is useful in improving algorithms for the computation of points-to sets as well as algorithms that make use of this information in other operations. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：743 / 754

页数：12

共 50 条

[1] Flow insensitive points-to sets
Anderson, P
Binkley, D
Rosay, G
Teitelbaum, T
FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 79 - 89
[2] Effects of different flow insensitive points-to analyses on DEF/USE sets
Tonella, P
PROCEEDINGS OF THE THIRD EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, 1999, : 62 - 69
[3] Hash Consed Points-To Sets
Barbar, Mohamad
Sui, Yulei
STATIC ANALYSIS, SAS 2021, 2021, 12913 : 25 - 48
[4] Polymorphic versus monomorphic flow-insensitive points-to analysis for C
Foster, JS
Fähndrich, M
Aiken, A
STATIC ANALYSIS, 2000, 1824 : 175 - 198
[5] Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java']Java
Liang, DL
Pennings, M
Harrold, MJ
ACM SIGPLAN NOTICES, 2001, : 73 - 79
[6] Program slicing with dynamic points-to sets
Mock, M
Atkinson, DC
Chambers, C
Eggers, SJ
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (08) : 657 - 678
[7] Compacting Points-To Sets through Object Clustering
Barbar, Mohamad
Sui, Yulei
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
[8] Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs
Gharat, Pritam M.
Khedker, Uday P.
Mycroft, Alan
STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 212 - 236
[9] Parallel Sparse Flow-Sensitive Points-to Analysis
Zhao, Jisheng
Burke, Michael G.
Sarkar, Vivek
CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 59 - 70
[10] Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis
Gharat, Pritam M.
Khedker, Uday P.
Mycroft, Alan
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2020, 42 (02):

← 1 2 3 4 5 →