Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis

Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. However, current inclusion-based analyses can have prohibitive costs in time and space, especially for programs with millions of lines of code. We present a suite of offline optimizations that exploit pointer and location equivalence to shrink the input to the subsequent pointer analysis without affecting precision, dramatically reducing both analysis time and memory consumption. Using a suite of six open-source C programs ranging in size from 169K to 2.17M LOC, we demonstrate that our techniques on average improve analysis

• Type: Conference
• Year: 2007
• Where: SAS
• Authors: Ben Hardekopf, Calvin Lin
• Keywords: Current Inclusion-based Analyses, Formal Methods, Pointer Analysis, SAS 2007, Subsequent Pointer Analysis