program slicing with exception handling
play

Program slicing with exception handling Carlos S. Galindo Jim enez - PowerPoint PPT Presentation

Mar 24, 2024 •28 likes •908 views

Introduction Problems and proposals Conclusions Program slicing with exception handling Carlos S. Galindo Jim enez Universidad Polit ecnica de Valencia Dec 18th, 2019 Introduction Problems and proposals Conclusions Table of Contents

  1. Introduction Problems and proposals Conclusions Program slicing with exception handling Carlos S. Galindo Jim´ enez Universidad Polit´ ecnica de Valencia Dec 18th, 2019

  2. Introduction Problems and proposals Conclusions Table of Contents Introduction Program slicing The System Dependence Graph Exception handling Problems and proposals Problem 1: incorrect slices with nested unconditional jumps Problem 2: incorrect weak slices Problem 3: incomplete catch treatment Conclusions 2/21

  3. Introduction Problems and proposals Conclusions Overview Introduction Program slicing The System Dependence Graph Exception handling Problems and proposals Conclusions 3/21

  4. Introduction Problems and proposals Conclusions Program slicing 1 void f(int x) { 1 void f(int x) { int sum = 0; int sum = 0; 2 2 int prod = 0; int prod = 0; 3 3 while (x > 0) { while (x > 0) { 4 4 sum += x; sum += x; 5 5 prod *= x; prod *= x; 6 6 x--; x--; 7 7 } } 8 8 log("sum: " + sum); log("sum: " + sum); 9 9 log(" prod: " + prod); log(" prod: " + prod); 10 10 11 } 11 } Example adapted from [Tip95]. 4/21

  5. Introduction Problems and proposals Conclusions Program slicing 1 void f(int x) { 1 void f(int x) { int sum = 0; int sum = 0; 2 2 int prod = 0; int prod = 0; 3 3 while (x > 0) { while (x > 0) { 4 4 sum += x; sum += x; 5 5 prod *= x; prod *= x; 6 6 x--; x--; 7 7 } } 8 8 log("sum: " + sum); log("sum: " + sum); 9 9 log(" prod: " + prod); log(" prod: " + prod); 10 10 11 } 11 } Example adapted from [Tip95]. 4/21

  6. Introduction Problems and proposals Conclusions Program slicing 1 void f(int x) { 1 void f(int x) { int sum = 0; int sum = 0; 2 2 int prod = 0; int prod = 0; 3 3 while (x > 0) { while (x > 0) { 4 4 sum += x; sum += x; 5 5 prod *= x; prod *= x; 6 6 x--; x--; 7 7 } } 8 8 log("sum: " + sum); log("sum: " + sum); 9 9 log(" prod: " + prod); log(" prod: " + prod); 10 10 11 } 11 } Example adapted from [Tip95]. 4/21

  7. Introduction Problems and proposals Conclusions Program slicing 1 void f(int x) { 1 void f(int x) { int sum = 0; int sum = 0; 2 2 int prod = 0; int prod = 0; 3 3 while (x > 0) { while (x > 0) { 4 4 sum += x; sum += x; 5 5 prod *= x; prod *= x; 6 6 x--; x--; 7 7 } } 8 8 log("sum: " + sum); log("sum: " + sum); 9 9 log(" prod: " + prod); log(" prod: " + prod); 10 10 11 } 11 } Example adapted from [Tip95]. 4/21

  8. Introduction Problems and proposals Conclusions Program slicing Applications 1 void f(int x) { int sum = 0; 2 ◮ Debugging int prod = 0; 3 ◮ Program specialization while (x > 0) { 4 sum += x; 5 ◮ Software maintenance prod *= x; 6 ◮ Code obfuscation x--; 7 } ◮ Dead code removal 8 log("sum: " + sum); 9 ◮ Program parallelization log(" prod: " + prod); 10 11 } 5/21

  9. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  10. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  11. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  12. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  13. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  14. Introduction Problems and proposals Conclusions Program slicing Metrics Completeness. The slice includes all instructions that are necessary. Correctness. The statements included affect the slicing criterion. Correct and Correct and Incorrect and Incorrect and complete: incomplete: complete: incomplete: 6/21

  15. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { int sum = 0; 2 int prod = 0; 3 while (x >0) { 4 sum += sum; 5 prod *= prod; 6 x--; 7 } 8 log(sum); 9 log(prod); 10 11 } 7/21

  16. Introduction Problems and proposals Conclusions The System Dependence Graph Creation Enter f() 1 void f(int x) { int sum = 0; 2 int prod = 0; 3 while (x >0) { 4 sum += sum; 5 prod *= prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 7/21

  17. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 while (x >0) { 4 sum += sum; 5 prod *= prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 7/21

  18. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x >0) { 4 sum += sum; 5 prod *= prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 7/21

  19. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x >0) { 4 sum += sum; 5 prod *= prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 7/21

  20. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x >0) { 4 sum += sum; 5 prod *= prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 7/21

  21. Introduction Problems and proposals Conclusions The System Dependence Graph Creation 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 while (x >0) { 4 x = x_in sum += sum; 5 prod *= prod; 6 x--; 7 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) } 8 log(sum); 9 log(prod); 10 5: sum += sum 6: prod *= prod 7: x-- 11 } 7/21

  22. Introduction Problems and proposals Conclusions The System Dependence Graph Traversal 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x>0) { 4 sum += sum; 5 prod*=prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 8/21

  23. Introduction Problems and proposals Conclusions The System Dependence Graph Traversal 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x>0) { 4 sum += sum; 5 prod*=prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 8/21

  24. Introduction Problems and proposals Conclusions The System Dependence Graph Traversal 1 void f(int x) { Enter f() int sum = 0; 2 int prod = 0; 3 x = x_in while (x>0) { 4 sum += sum; 5 prod*=prod; 6 2: int sum = 0 3: int prod = 0 4: while (x > 0) 9: log("sum: " + sum) 10: log("prod: " + prod) x--; 7 } 8 log(sum); 9 5: sum += sum 6: prod *= prod 7: x-- log(prod); 10 11 } 8/21

Recommend

Exception Handling in C++ throw - try - catch ! class InvalidNumber { }; void main() {

Exception Handling in C++ throw - try - catch ! class InvalidNumber { }; void main() {

14 . Exception Handling: Mechanism and Usage Exception Handling Synchronous Errors Asynchronous Errors An Example function : Call may result in an error double sqrt(int number); Traditional Error Handling Exit the program Return an

453 views • 8 slides
Control Exception Handling: Exception handling is the control of error conditions or other

Control Exception Handling: Exception handling is the control of error conditions or other

Control Exception Handling: Exception handling is the control of error conditions or other unusual events during the execution of a program. 1 Control In a language without exception handling: When an exception occurs, control

1.15k views • 19 slides
Exception handling Exception infrequent, abnormal situation in program logic at program

Exception handling Exception infrequent, abnormal situation in program logic at program

Exception handling Exception infrequent, abnormal situation in program logic at program execution not necessarily an error Reasons for exceptions: hardware events arithmetic overflow, parity errors operating

957 views • 24 slides
1 Benefits of exception handling Handling exceptions Generally, there are many ways to handle an

1 Benefits of exception handling Handling exceptions Generally, there are many ways to handle an

Java exception mechanism when an error or exceptional condition occurs, you throw an exception which is caught by an exception handler try { // statements that may throw an exception.. if (someCondition) Exceptions and error handling

289 views • 6 slides
Exception Handling and Initialization Marco Chiarandini Department of Mathematics & Computer

Exception Handling and Initialization Marco Chiarandini Department of Mathematics & Computer

DM545 Linear and Integer Programming Lecture 4 Exception Handling and Initialization Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Exception Handling Simplex: Exception Handling, Overview

452 views • 27 slides
ITEC 1630 Yves Lesp erance Exception Handling Exception handling is a mechanism for making

ITEC 1630 Yves Lesp erance Exception Handling Exception handling is a mechanism for making

ITEC 1630 Yves Lesp erance Exception Handling Exception handling is a mechanism for making programs more robust, i.e. have then continue executing when errors, failures, or exceptional conditions occur, rather than crash. Lecture Notes

500 views • 7 slides
Object Oriented Programming COP3330 / CGS5409 Exception Handling Bitwise Operators

Object Oriented Programming COP3330 / CGS5409 Exception Handling Bitwise Operators

Object Oriented Programming COP3330 / CGS5409 Exception Handling Bitwise Operators Many erroneous situations could occur during program execution Usually related to things like user input Exception Handling is a type of error-

379 views • 22 slides
1 Handling exceptions (III) Handling exceptions (II) n try -statements can be nested and

1 Handling exceptions (III) Handling exceptions (II) n try -statements can be nested and

2.6 Error, exception and event Error and exception handling in handling Pascal n There are conditions that have to be fulfilled by a n While errors definitely can occur in Pascal programs, program that sometimes are not fulfilled, which Pascal

143 views • 3 slides
Program Slicing 2 1 Program Slicing 1. Slicing overview 2. Types of slices, levels of slices

Program Slicing 2 1 Program Slicing 1. Slicing overview 2. Types of slices, levels of slices

Class 6 Review; questions Assign (see Schedule for links) Slicing overview (contd) Problem Set 3: due 9/8/09 1 Program Slicing 2 1 Program Slicing 1. Slicing overview 2. Types of slices, levels of slices 3. Methods

327 views • 28 slides
If the FileInputStream constructor fails to open the file, it

If the FileInputStream constructor fails to open the file, it

Exception Handling An exception is any special condition that alters the normal flow of program execution. For example, you might try to divide

221 views • 4 slides
The Simplex Method: Exception Handling Marco Chiarandini Department of Mathematics &

The Simplex Method: Exception Handling Marco Chiarandini Department of Mathematics &

DM545 Linear and Integer Programming Lecture 3 The Simplex Method: Exception Handling Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Tableaux and Dictionaries Outline Exception Handling

212 views • 19 slides
COMP 110-001 Exception Handling Yi Hong June 10, 2015 Announcement Lab 7 is due today

COMP 110-001 Exception Handling Yi Hong June 10, 2015 Announcement Lab 7 is due today

COMP 110-001 Exception Handling Yi Hong June 10, 2015 Announcement Lab 7 is due today 2 Today Exception Handling Important in developing Java code. But not a major focus of this course 3 Recall Homework 2

483 views • 36 slides
Unit 10 : exception handling and file I/O Today : more on exceptions; introduction to files

Unit 10 : exception handling and file I/O Today : more on exceptions; introduction to files

Unit 10 : exception handling and file I/O Today : more on exceptions; introduction to files (maybe?) 1 not in notes What happens if the user the following input during program execution? 5 a import java.util.Scanner; public class

237 views • 21 slides
Exception Handling 18-849b Dependable Embedded Systems Charles P. Shelton March 9, 1999

Exception Handling 18-849b Dependable Embedded Systems Charles P. Shelton March 9, 1999

Exception Handling 18-849b Dependable Embedded Systems Charles P. Shelton March 9, 1999 Required Reading: Romanovsky, Alexander; Xiu, Jie; Randell, Brian; Exception Handling in Object-Oriented Real-Time Distributed Systems Overview:

561 views • 12 slides
Exceptions Defensive programming Anticipating that something could go wrong Handling

Exceptions Defensive programming Anticipating that something could go wrong Handling

Exceptions Defensive programming Anticipating that something could go wrong Handling errors Exception handling and throwing Example: File processing Exception handling and throwing Java: try-catch-finally, throw, throws

420 views • 7 slides
Interrupt and Exception Handling on the x86 ( Lecture 8 ) x86 Interrupt Vectors - Every

Interrupt and Exception Handling on the x86 ( Lecture 8 ) x86 Interrupt Vectors - Every

6.828: Operating System Engineering Interrupt and Exception Handling on the x86 ( Lecture 8 ) x86 Interrupt Vectors - Every Exception/Interrupt type is assigned a number: - its vector - When an interrupt occurs, the vector determines what code

456 views • 13 slides
Type safety and exception handling Gabriele Keller Ron Vanderfeesten Overview higher &

Type safety and exception handling Gabriele Keller Ron Vanderfeesten Overview higher &

Concepts of Program Design Type safety and exception handling Gabriele Keller Ron Vanderfeesten Overview higher & first-order syntax inference rules, induction tools to talk about languages abstract machines big step and small step

461 views • 21 slides
Exception handling in LLVM, from Itanium to MSVC Reid Kleckner David Majnemer Agenda

Exception handling in LLVM, from Itanium to MSVC Reid Kleckner David Majnemer Agenda

Exception handling in LLVM, from Itanium to MSVC Reid Kleckner David Majnemer Agenda Exception handling: what it is, where it came from Introduction to the landingpad model used in LLVM and GCC Elegant simplicity of the

765 views • 32 slides
Advanced Java Course Exception Handling Throwables Class Throwable has two subclasses:

Advanced Java Course Exception Handling Throwables Class Throwable has two subclasses:

Advanced Java Course Exception Handling Throwables Class Throwable has two subclasses: Error So bad that you never even think about trying to catch these Exception Most Exceptions must be handled (i.e. either declared in

524 views • 13 slides
EXCEPTION HANDLING, DEBUGGING, AND INDEFINITE LOOPS CSSE 120 Rose Hulman Institute of

EXCEPTION HANDLING, DEBUGGING, AND INDEFINITE LOOPS CSSE 120 Rose Hulman Institute of

EXCEPTION HANDLING, DEBUGGING, AND INDEFINITE LOOPS CSSE 120 Rose Hulman Institute of Technology Conditional Program Execution Programs (scripts) Modules designed to run directly (not imported) Libraries Modules imported and

825 views • 18 slides
Error Handling via the Happens-Before Relation Nicholas D. Matsakis Thomas R. Gross ETH Zurich

Error Handling via the Happens-Before Relation Nicholas D. Matsakis Thomas R. Gross ETH Zurich

Error Handling via the Happens-Before Relation Nicholas D. Matsakis Thomas R. Gross ETH Zurich 1 Sunday, April 18, 2010 Exception Handling Goal of this talk: Extend exception handling into a parallel setting 2 Sunday, April 18,

1.7k views • 98 slides
exception handling Bart Jacobs and Frank Piessens Katholieke Universiteit Leuven Overview of

exception handling Bart Jacobs and Frank Piessens Katholieke Universiteit Leuven Overview of

Failboxes: Provably safe exception handling Bart Jacobs and Frank Piessens Katholieke Universiteit Leuven Overview of Presentation Purpose of exceptions: Dependency safety Conflicts with: Non-exception-safe objects and:

813 views • 68 slides
Program Slicing Gias Uddin Special Topic Lecture prepared from the Survey of Frank Tip on Program

Program Slicing Gias Uddin Special Topic Lecture prepared from the Survey of Frank Tip on Program

Program Slicing Gias Uddin Special Topic Lecture prepared from the Survey of Frank Tip on Program Slicing : Frank Tip. A Survey of Program Slicing Techniques. Technical Report, CWI (Centre for Mathematics and Computer Science) Amsterdam, The

517 views • 15 slides
Untangling Composite Commits Untangling Composite Commits Using Program Slicing Using Program

Untangling Composite Commits Untangling Composite Commits Using Program Slicing Using Program

Untangling Composite Commits Untangling Composite Commits Using Program Slicing Using Program Slicing Ward Muylaert and Coen De Roover @wardmuylaert and @oniroi Sofuware Languages Lab SCAM 2018 Vrije Universiteit Brussel Madrid, Spain

388 views • 27 slides

More recommend