Introduction to Program Analysis: A Pointer Centric View Uday - - PowerPoint PPT Presentation

Introduction to Program Analysis: A Pointer Centric View

Uday Khedker

(www.cse.iitb.ac.in/˜uday) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay

Dec 2017

WSSE Pune Intro to PA: Outline 1/7

An Outline

• Introduction to Program Analysis
• Live Variables Analysis
• The Big Picture View of Pointer Analyses
• Details of Points-to Analysis
• Interprocedural Issues in Pointer Analysis

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 2/7

Introduction to Program Analysis

• Introduction and Overview of Program Analysis
• Soundness and Precision of Program Analysis

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 3/7

Live Variables Analysis

• Live Variables Analysis
• Strongly Live Variables Analysis
• Some Observations

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 4/7

The Big Picture View of Pointer Analyses

• Motivation
• Abstraction Vs. Approximations
• Trends in Pointer Analysis

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 5/7

Details of Points-to Analysis

• Pointer Statements
• Comparing Points-to and Alias information
• Defining Points-to Analysis
• Flow Insensitive Points-to Analysis
• Flow Sensitive Points-to Analysis
• Liveness Based Points-to Analysis
• Handling Heap
• Tutorial problems on points-to analysis

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 6/7

Interprocedural Issues in Pointer Analysis

• Issues in Interprocedural Analysis
• Top-Down Approaches to Context-Sensitive Analysis
• Bottom-Up Approaches to Context-Sensitive Analysis
• Conclusions

Dec 2017 IIT Bombay

WSSE Pune Intro to PA: Outline 7/7

Acknowledgements Material prepared with the help of Pritam Gharat

Dec 2017 IIT Bombay