Flow insensitive points-to sets

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 1,168 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.

• Type: Journal
• Year: 2002
• Where: INFSOF
• Authors: Paul Anderson, David Binkley, Genevieve Rosay, Tim Teitelbaum
• Keywords: Code, INFSOF 2002, Points-to Sets, Source Code Analysis