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

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

Pointer Analysis CSE 501 Spring 15 Course Outline Sta8c

Pointer Analysis CSE 501 Spring 15 Course Outline Sta8c analysis Dataflow and abstract interpreta8on We are here Applica8ons Beyond

515 views • 36 slides

EDA045F: Program Analysis LECTURE 6: DATALOG Christoph Reichenbach In the last lecture. . .

EDA045F: Program Analysis LECTURE 6: DATALOG Christoph Reichenbach In the last lecture. . . Pointer Analysis Points-To Analysis Alias Analysis Concrete Heap Graphs Abstract Heap Graphs Access Paths Heap Summarisation

822 views • 53 slides

A Probabilistic Pointer Analysis A Probabilistic Pointer Analysis for Speculative Optimization

A Probabilistic Pointer Analysis A Probabilistic Pointer Analysis for Speculative Optimization for Speculative Optimization Jeff DaSilva Jeff DaSilva Greg Steffan Greg Steffan Electrical and Computer Engineering Electrical and Computer

890 views • 38 slides

Understanding the Performance of GPGPU Applications from a Data-Centric View Hui Zhang

Understanding the Performance of GPGPU Applications from a Data-Centric View Hui Zhang w.hzhang86@samsung.com Jeffrey K. Hollingsworth hollings@umd.edu Hui Zhang SC19 - Protools19 11/17/19 Motivation Its hard for programmers

362 views • 18 slides

Lecture 1: Introduction to Program Analysis 17-355/17-655/17-819: Program Analysis Claire Le

Lecture 1: Introduction to Program Analysis 17-355/17-655/17-819: Program Analysis Claire Le Goues January 14, 2020 * Course materials developed with Jonathan Aldrich (c) 2020 C. Le Goues 1 Learning objectives Provide a high level

788 views • 50 slides

Review Running a program requires the code & stack segments in memory. Context = memory

Review Running a program requires the code & stack segments in memory. Context = memory address space + stack pointer + instruction pointer A CPU is in the context of a program if its instruction pointer and stack pointer registers

797 views • 40 slides

Pointer arithmetic arrays only arrays only Pointer arithmetic Can add or subtract an

Pointer arithmetic arrays only arrays only Pointer arithmetic Can add or subtract an integer as long as result is still within the bounds of the array Can subtract a pointer from another pointer iff both point to

140 views • 9 slides

CO444H Pointer analysis Ben Livshits 1 Approaches to Finding Reliability and Security Bugs

Datalog CO444H Pointer analysis Ben Livshits 1 Approaches to Finding Reliability and Security Bugs Static Analysis Tools Black-box Testing/Fuzzing 2 Coverity: a Static Analysis Company 3 Bug Report From Coverity Actual bug Path

701 views • 59 slides