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

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

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
Getting Input from a File To open a file for reading: Scanner inFile = new Scanner (file);

Getting Input from a File To open a file for reading: Scanner inFile = new Scanner (file);

Getting Input from a File To open a file for reading: Scanner inFile = new Scanner (file); Scanner constructor - takes a File parameter and provides methods to get individual pieces of data 1 Scanner class Provides methods to get the next

179 views • 4 slides
Introduction to Object-Oriented Programming Exceptions Christopher Simpkins

Introduction to Object-Oriented Programming Exceptions Christopher Simpkins

Introduction to Object-Oriented Programming Exceptions Christopher Simpkins chris.simpkins@gatech.edu CS 1331 (Georgia Tech) Exceptions 1 / 17 Erorr Handling Code Consider this code from Company.java: employees = initFromFile2(new

640 views • 17 slides
Exceptions Announcements Exceptions Today's Topic: Handling Errors Sometimes, computer programs

Exceptions Announcements Exceptions Today's Topic: Handling Errors Sometimes, computer programs

Exceptions Announcements Exceptions Today's Topic: Handling Errors Sometimes, computer programs behave in non-standard ways A function receives an argument value of an improper type Some resource (such as a file) is not available A

148 views • 14 slides
Lecture 11: Timed Automata 2014-07-01 Dr. Bernd Westphal 11 2014-07-01 main

Lecture 11: Timed Automata 2014-07-01 Dr. Bernd Westphal 11 2014-07-01 main

Real-Time Systems Lecture 11: Timed Automata 2014-07-01 Dr. Bernd Westphal 11 2014-07-01 main Albert-Ludwigs-Universit at Freiburg, Germany Contents & Goals Last Lecture: DC (un)decidability This Lecture:

648 views • 35 slides
Overview Topics Exceptions (review) Exception handling CSE 143 Java Use of

Overview Topics Exceptions (review) Exception handling CSE 143 Java Use of

Overview Topics Exceptions (review) Exception handling CSE 143 Java Use of exceptions Exception Handling Reading: Ch. 15 10/20/2004 (c) 2001-4, University of Washington 11-1 10/20/2004 (c) 2001-4, University of Washington

429 views • 3 slides
J Introduction IS311 Programming Concepts Users have high expectations for the code we

J Introduction IS311 Programming Concepts Users have high expectations for the code we

1 2 J Introduction IS311 Programming Concepts Users have high expectations for the code we produce. Users will use our programs in AVA unexpected ways. Due to design errors or coding errors, Exception Handling

499 views • 8 slides
Chapter 15 To learn how to throw exceptions To be able to design your own exception

Chapter 15 To learn how to throw exceptions To be able to design your own exception

Chapter Goals Chapter 15 To learn how to throw exceptions To be able to design your own exception Exception Handling classes To understand the difference between checked and unchecked exceptions To learn how to catch exceptions

360 views • 11 slides
Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich

Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich

Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich Joint work with D Bacon, A W Harrow, and J Shi arxiv:1411.3334 Quantum Error Correction Quantum error correction allows us to deal with the

641 views • 28 slides

More recommend