PPT-A survey of techniques for precise program slicing

Author : briana-ranney | Published Date : 2016-06-21

Komondoor V Raghavan Indian Institute of Science Bangalore The problem of program slicing Given a program P and a statement c the criterion identify statements

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "A survey of techniques for precise progr..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

A survey of techniques for precise program slicing: Transcript

Komondoor V Raghavan Indian Institute of Science Bangalore The problem of program slicing Given a program P and a statement c the criterion identify statements and conditionals in the program that are . W Vasconcelos a MAT Araga b1 Departamento de Estat stica e Computac a o Universidade Estadual do Ceara Av Paranjana 1700Campus do Itapery 60740000 Fortaleza Ceara Brazil Departamento de Informa tica Banco Central do Brasil SBS Ed Banco Central 700 Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta, and Michael D. Bond. The Ohio State University. PLDI 2014. Impact of Concurrency Bugs. Impact of Concurrency Bugs. Northeastern blackout, 2003. Impact of Concurrency Bugs. Outline. What is slicing?. Why use slicing. ?. Static slicing . o. f programs. Dynamic Program Slicing. Data dependence detection. Control dependence detection. Backward Slicing . Backward computation. 1 1 2 Program Slicing 2 3 Types of slices, levels of slices4.Interproceduralslicing (later) 4 Types of slicesBackward static sliceForward static sliceDynamic sliceGeneric algorithm for static sliceLev Yinzhi Cao. Reference: . http. ://www.cs.tau.ac.il/~. omertrip/pldi09/TAJ.ppt. www.cs.cmu.edu/~. soonhok/talks/20110301.pdf. 2. Motivating Example. *. * Inspired by . Refl1. in. SecuriBench Micro. Taint Flow #1. Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta, and Michael D. Bond. The Ohio State University. PLDI 2014. Impact of Concurrency Bugs. Impact of Concurrency Bugs. Northeastern blackout, 2003. Impact of Concurrency Bugs. Yue Li. , . Tian. Tan, . Yifei. Zhang and Jingling . Xue. UNSW Australia. ECOOP 2016. Rome, Italy. 1. Program Slicing. Program slicing. [Weiser 1981] citation: 3950. 2. Program Slicing. Debugging. Maintenance. Collaborators: George . Necula. , Xavier Rival (INRIA). Bor-Yuh. Evan Chang. University of California, Berkeley. February-April 2008. Precise Program Analysis with Data Structures. . by Designing with the User in Mind. Yinzhi Cao. Reference: . http. ://www.cs.tau.ac.il/~. omertrip/pldi09/TAJ.ppt. www.cs.cmu.edu/~. soonhok/talks/20110301.pdf. 2. Motivating Example. *. * Inspired by . Refl1. in. SecuriBench Micro. Taint Flow #1. By. Corey Rahberger. Overview. What is program slicing?. History. How to extract a slice. Program slicing techniques. Applications. Program slicing tools. Current Problems. Future. What is program slicing?. Collaborators: George . Necula. , Xavier Rival (INRIA). Bor-Yuh. Evan Chang. University of California, Berkeley. February-April 2008. Precise Program Analysis with Data Structures. . by Designing with the User in Mind. The Desired Brand Effect Stand Out in a Saturated Market with a Timeless Brand Mechanical Engineering. Elise Morgan. Professor and Associate Chair for Graduate Research Programs. March 16, 2018. Ph.D. Climate Survey. Creation. Draft was created by drawing from existing surveys at other institutions and from the Provost’s exit survey. C. ase: . Requirements Proposal for Guilin. Participants:. . CMCC,. . Wipro,. . Huawei,. . AT&T,. . Amdocs,. . Verizon,. . Reliance. . Jio. ,. . Tencent,. . China. . Telecom. . Authors:.

Download Document

Here is the link to download the presentation.
"A survey of techniques for precise program slicing"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.