Optimizing Pointer Analysis Using Bisimilarity

  • Luke Simon
Conference paper

DOI: 10.1007/978-3-642-03237-0_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5673)
Cite this paper as:
Simon L. (2009) Optimizing Pointer Analysis Using Bisimilarity. In: Palsberg J., Su Z. (eds) Static Analysis. SAS 2009. Lecture Notes in Computer Science, vol 5673. Springer, Berlin, Heidelberg


We introduce a new technique for dramatically improving the performance of inclusion-based points-to analysis, by using bisimilarity in order to detect pointer equivalences before constraint resolution. We present the design and correctness proof of this technique, along with an implementation prototype, and a series of benchmarks. The benchmarks indicate that our technique dramatically improves the scalability of inclusion-based points-to analysis, beating the current leading offline optimizations for inclusion-based points-to analysis.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Luke Simon
    • 1
  1. 1.Metallect Corp.PlanoUSA

Personalised recommendations