skip to main content
Primo Search

Efficient points-to analysis based on CFL-reachability summarisation

Shang, Lei, Computer Science & Engineering, Faculty of Engineering, UNSW

2012

  • Title:
    Efficient points-to analysis based on CFL-reachability summarisation
  • Author/Creator: Shang, Lei, Computer Science & Engineering, Faculty of Engineering, UNSW
  • Subjects: Summarisation; Points-to analysis; CFL-reachability
  • Resource type: Thesis
  • Type of thesis: Ph.D.
  • Date: 2012
  • Awarding institution: University of New South Wales. Computer Science & Engineering
  • Description: Points-to analysis plays a critical role in modern compilers and a wide range of program understanding and bug detection tools. Nevertheless, developing precise and scalable points-to analysis for large-scale object-oriented software remains a challenge, especially in the presence of different client requirements and frequent software modifications. In this thesis, we present two new techniques for achieving more efficient points-to analysis based on Context-Free Language (CFL)-reachability. In general, our techniques significantly improve the state-of-the-art points-to analysis for Java applications when handling demand-driven queries and small code changes. This thesis firstly presents an on-demand dynamic summary-based points-to analysis for Java, which provides a more scalable solution without affecting precision. Our second technique is an incremental summarisation framework designed for IDEs, which can efficiently handle frequent program edits, addressing a long-standing challenge in points-to analysis. For each technique, we describe the algorithms and evaluate the implementations with a set of Java applications and clients.
  • Supervisor: Xue, Jingling, Computer Science & Engineering, Faculty of Engineering, UNSW
  • Language: English
  • Rights: http://unsworks.unsw.edu.au/copyright; http://unsworks.unsw.edu.au/copyright
  • Print Availability: T/2012/289 (Ask at Level 2 Help Zone, UNSW Library)

Searching Remote Databases, Please Wait