Title :
Flow insensitive points-to sets
Author :
Anderson, Paul ; Binkley, David ; Rosay, Genevieve ; Teitelbaum, Tim
Author_Institution :
GrammaTech, Inc., Ithaca, NY, USA
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;
Conference_Titel :
Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-1387-5
DOI :
10.1109/SCAM.2001.972669