Flow insensitive points-to sets

被引:5
作者
Anderson, P [1 ]
Binkley, D [1 ]
Rosay, G [1 ]
Teitelbaum, T [1 ]
机构
[1] GrammaTech Inc, Ithaca, NY 14850 USA
来源
FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS | 2001年
关键词
D O I
10.1109/SCAM.2001.972669
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as pail of their input input. Points-to related data collected from 27 mid-sized C programs (ranging in size from 1168 to 53,131 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. Several uses of the data are discussed.
引用
收藏
页码:79 / 89
页数:7
相关论文
共 16 条
[1]  
ANDERSON LO, 1994, 9419 DIKU U COP
[2]  
*ANSI, 1989, X3159189FIPS ANSI
[3]  
BURKE M, 1994, FLO WINSENSITIVE INT
[4]  
CALLAHAN D, 1988, SIGPLAN NOTICES, V23, P47, DOI 10.1145/960116.53995
[5]  
CHOI JD, 1993, ACM S PRINC PROGR LA, P232
[6]  
EMAMI M, 1994, SIGPLAN C PROGR LANG
[7]  
HEINTZE N, 2001, P SIGPLAN 01 C PROGR
[8]  
HORWITZ S, 1997, ACM T PROGRAMMING LA, V19
[9]  
LANDI W, 1992, SIGPLAN C PROGR LANG, P235
[10]  
RUF E, 1995, SIGPLAN C PROGR LANG, P13