Sciweavers

Share
CGO
2011
IEEE

Flow-sensitive pointer analysis for millions of lines of code

7 years 8 months ago
Flow-sensitive pointer analysis for millions of lines of code
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, which has been shown to be useful for applications such as program verification and static analysis of binary code, among many others. However, flow-sensitive pointer analysis has historically been unable to scale to programs with millions of lines of code. We present a new flow-sensitive pointer analysis algorithm that is an order of magnitude faster than the existing state of the art, enabling for the first time flow-sensitive pointer analysis for programs with millions of lines of code. Our flow-sensitive algorithm is based on a sparse representation of program code created by a staged, flow-insensitive pointer analysis. We explain how this new algorithm is a member of a new family of pointer analysis algorithms that deserves further study.
Ben Hardekopf, Calvin Lin
Added 18 Aug 2011
Updated 18 Aug 2011
Type Journal
Year 2011
Where CGO
Authors Ben Hardekopf, Calvin Lin
Comments (0)
books