Table of ContentsPPT Slide The Oberon Program Slicing Tool What is Program Slicing? Applications of Program Slicing Internal Respresentation Control Flow Analysis (1) Control Flow Analysis (2) Additional Parameters Data Flow Analysis (1) Data Flow Analysis (2) Slicing Variants of Program Slicing Static vs. Dynamic Analysis Expression-oriented Slicing Short-Circuit Evaluation Dynamic Binding Sources of Imprecision Possible Aliases (1) Possible Aliases (2) Records and Pointers Information Hiding vs. Analysis Integrating Dynamic Features into Static Analysis Static Analysis vs. Dynamic Analysis Features of the Oberon Slicing Tool |
Author: Christoph Steindl
Email: steindl@ssw.uni-linz.ac.at |