DocumentCode
2033712
Title
Flow insensitive points-to sets
Author
Anderson, Paul ; Binkley, David ; Rosay, Genevieve ; Teitelbaum, Tim
Author_Institution
GrammaTech, Inc., Ithaca, NY, USA
fYear
2001
fDate
2001
Firstpage
79
Lastpage
89
Abstract
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 input. Points-to related data collected from 27 mid-sized C programs (ranging in size from 1168 to 53131 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
Keywords
C language; program control structures; program diagnostics; flow insensitive points-to sets; pointer analysis; points-to related data; relative sizes; source code analysis; source code manipulation; Algorithm design and analysis; Casting; Costs; Educational institutions; Information analysis; NP-hard problem; Performance analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on
Conference_Location
Florence
Print_ISBN
0-7695-1387-5
Type
conf
DOI
10.1109/SCAM.2001.972669
Filename
972669
Link To Document