PPT 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