Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
Source: Indian Institute of Science
Context sensitive pointer analyses based on the bddbddb system have been shown to scale to large Java programs. This paper provides a technique to incorporate flow sensitivity for Java fields into one such analysis and obtain an escape analysis based on it. First, this paper expresses an intraprocedural field flow sensitive analysis, using the Heap Array SSA form in Datalog. This paper then extends this analysis interprocedurally by introducing two new functions for Heap Array SSA Form and adding deduction rules corresponding to them. Adding a few more rules gives then an escape analysis.