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

Sep 26, 2022 •454 likes •552 views

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: 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

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Object Flow Analysis Taking an Object-centric View on Dynamic Analysis Adrian Lienhard 1 ,

Object Flow Analysis Taking an Object-centric View on Dynamic Analysis Adrian Lienhard 1 , Stphane Ducasse 2 and T udor Grba 1 1 Software Composition Group, University of Bern, Switzerland 2 LISTIC, University of Savoie, France A missing

376 views • 21 slides

Pointer Analysis: The Big Picture View Uday Khedker (www.cse.iitb.ac.in/uday) Department of

Pointer Analysis: The Big Picture View Uday Khedker (www.cse.iitb.ac.in/uday) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay Dec 2017 WSSE Pune PTA Big Picture: The Big Picture 1/22 Outline The

831 views • 67 slides

CS711 Advanced Programming Languages Pointer Analysis Overview and Flow-Sensitive Analysis Radu

CS711 Advanced Programming Languages Pointer Analysis Overview and Flow-Sensitive Analysis Radu Rugina 8 Sep 2005 Pointer Analysis Informally: determine where pointers (or references) in the program may point to. Significant amount of

339 views • 21 slides

Precision-Guided Context Sensitivity for Pointer Analysis Yue Li, Tian Tan, Anders Mller,

Precision-Guided Context Sensitivity for Pointer Analysis Yue Li, Tian Tan, Anders Mller, Yannis Smaragdakis OOPSLA 2018 1 A New Pointer Analysis T echnique for Object-Oriented Programs 2 Pointer Analysis Determines which

841 views • 64 slides

Alias Analysis Last time Alias analysis I (pointer analysis) Address Taken FIAlias,

Alias Analysis Last time Alias analysis I (pointer analysis) Address Taken FIAlias, which is equivalent to Steensgaard Today Alias analysis II (pointer analysis) Anderson Emami Next time Midterm review CS553

207 views • 8 slides

Making k- Object-Sensitive Pointer Analysis More Precise with Still k -Limiting Tian Tan , Yue Li

Making k- Object-Sensitive Pointer Analysis More Precise with Still k -Limiting Tian Tan , Yue Li and Jingling Xue SAS 2016 September, 2016 1 A New Pointer Analysis for Object-Oriented Programs 2 Pointer Analysis Determine which

965 views • 70 slides

Scalability-First Pointer Analysis with Self-Tuning Context Sensitivity Yue Li, Tian Tan, Anders

Scalability-First Pointer Analysis with Self-Tuning Context Sensitivity Yue Li, Tian Tan, Anders Mller and Yannis Smaragdakis 1 Pointer Analysis Concept Which objects a variable may point to? Importance Fundamental for virtually

769 views • 54 slides

Alias Analysis Last time Reuse optimization Today Alias analysis (pointer analysis)

Alias Analysis Last time Reuse optimization Today Alias analysis (pointer analysis) Next time More alias analysis (pointer analysis) CS553 Lecture Alias Analysis I 2 Aliasing What is aliasing? When two expressions denote

265 views • 8 slides

CS 293S Pointer Analysis Yufei Ding Slides adapted from Wei Le, Stephen Chong Focus of this

CS 293S Pointer Analysis Yufei Ding Slides adapted from Wei Le, Stephen Chong Focus of this lecture Terms and concepts Algorithms: Andersen-Style and Steensgaard-Style Advanced topics 2 What is Pointer/Alias/points-to Analysis?

347 views • 32 slides

Pointer Analysis in the Presence of Dynamic Class Loading Martin Hirzel, Amer Diwan University

Pointer Analysis in the Presence of Dynamic Class Loading Martin Hirzel, Amer Diwan University of Colorado at Boulder Michael Hind IBM T.J. Watson Research Center 1 Pointer analysis motivation Code a = new C( ); // G What does it do? b =

439 views • 30 slides

Review: Program Execution Registers program counter, stack pointer, . . . Memory

Threads and Concurrency 1 Review: Program Execution Registers program counter, stack pointer, . . . Memory program code program data program stack containing procedure activation records CPU fetches and executes

699 views • 24 slides

Alias Analysis Last time Interprocedural analysis Today Intro to alias analysis (pointer

Alias Analysis Last time Interprocedural analysis Today Intro to alias analysis (pointer analysis) CS553 Lecture Alias Analysis I 1 Aliasing What is aliasing? When two expressions denote the same mutable memory location e.g.,

812 views • 19 slides

Hierarchical Pointer Analysis for Distributed Programs Distributed Programs Amir Kamil and

Hierarchical Pointer Analysis for Distributed Programs Distributed Programs Amir Kamil and Katherine Yelick U.C. Berkeley A August 23, 2007 t 23 2007 1 Hierarchical Pointer Analysis Amir Kamil Background 2 Hierarchical Pointer Analysis

650 views • 41 slides

CO444H Pointer analysis Ben Livshits 1 Call Graphs Class analysis: Given a reference

Datalog CO444H Pointer analysis Ben Livshits 1 Call Graphs Class analysis: Given a reference variable x, what are the classes of the objects that x refers to at runtime? We saw CHA and RTA Deal with polymorphic/virtual calls:

1.01k views • 54 slides

Pointer Analysis: Havent We Solved This Problem Yet? By Michael Hind Kevin Depue February

Review of Pointer Analysis: Havent We Solved This Problem Yet? By Michael Hind Kevin Depue February 16, 2006 What problem did the paper address? Big Picture Problem How do we gain an understanding of how pointers affect program behavior?

286 views • 11 slides

Laser Pointer Engineering Analysis Jeb Duncan, Eddie Hoopingarner, Cole Middlebrook, Michael

Laser Pointer Engineering Analysis Jeb Duncan, Eddie Hoopingarner, Cole Middlebrook, Michael Orrill 11/19/2013 Overview Background Concepts Chosen for analysis Structural Analysis Thermal Analysis Schedule Conclusion

544 views • 20 slides

Trust in the Digital World Vienna 7-8 April 2014 Panel: Trusted Personal data Management

Trust in the Digital World Vienna 7-8 April 2014 Panel: Trusted Personal data Management Organised by Digital Enlightenment Forum Overview 1. Panel Agenda 2. What is Digital Enlightenment Forum 3. Personal Data Management (PDM) terminology,

448 views • 13 slides

Market Analysis Findings 1 Project Overview and Status We are here Completing market assessment

Market Analysis Findings 1 Project Overview and Status We are here Completing market assessment and service evaluation. Establishing framework and approach to develop Transit Plan. 2 Connections2025 Market Analysis, Service Evaluation, and

655 views • 32 slides

May Club Forum Melbourne University Sport 29 st May 2018 1 Welcome from the MU Sport Board

May Club Forum Melbourne University Sport 29 st May 2018 1 Welcome from the MU Sport Board Professor James Angus, AO FAA Chair MU Sport Board May Club Forum 29 May 2018 2 Strategic Update Tim Lee, Director May Club Forum 29 May 2018

538 views • 32 slides

Albert Jordan VP Products 04-06-16 JDP Power IQS 2013 Redesigned IQS to include design issues

Albert Jordan VP Products 04-06-16 JDP Power IQS 2013 Redesigned IQS to include design issues Quality as Quality as Consumer Defined a differentiator a given Quality 334 Problems Per 100 Vehicles (PP100) 220 163 80 78 Source: J.D.

697 views • 38 slides

Core-Aware Scheduling: Balancing Application Parallelism with Core Availability Henry Qin

Core-Aware Scheduling: Balancing Application Parallelism with Core Availability Henry Qin Advisor: John Ousterhout Febuary 2, 2016 1 / 15 Introduction Motivation: Inefficient core and thread management Hard to get high throughput in low

297 views • 25 slides

S7105 ADAS/AD CHALLENGES: GPU SCHEDULING & SYNCHRONIZATION Venugopala Madumbu, NVIDIA GTC

S7105 ADAS/AD CHALLENGES: GPU SCHEDULING & SYNCHRONIZATION Venugopala Madumbu, NVIDIA GTC 2017 210D ADVANCED DRIVING ASSIST SYSTEMS (ADAS) & AUTONOMOUS DRIVING (AD) High Compute Workloads Mapped to GPU 2 ADAS/AD Requirements

326 views • 22 slides

SPECTRES, VIRTUAL GHOSTS, AND HARDWARE SUPPORT Xiaowan Dong University of

SPECTRES, VIRTUAL GHOSTS, AND HARDWARE SUPPORT Xiaowan Dong University of Rochester Zhuojia Shen University of Rochester John Criswell University of Rochester

842 views • 33 slides

Entropy-based Concept Shift Detection Peter Vorburger, Abraham Bernstein University of Zurich

Entropy-based Concept Shift Detection Peter Vorburger, Abraham Bernstein University of Zurich Department of Informatics Binzm uhlestrasse 14, 8050 Zurich, Switzerland { vorburger, bernstein } @ifi.unizh.ch Abstract per is a real-world

176 views • 6 slides