Static Analysis of Object-Oriented Programs

6/29/99


Click here to start


Table of Contents

Static Analysis of Object-Oriented Programs

Static vs. Dynamic Analysis

Sources of Imprecision

Dynamic Binding

Possible Aliases (1)

Possible Aliases (2)

Records and Pointers

Information Hiding vs. Analysis

Integrating Dynamic Features into Static Analysis

Static Analysis vs. Dynamic Analysis

Author: Christoph Steindl

Email: steindl@ssw.uni-linz.ac.at

Home Page: http://www.ssw.uni-linz.ac.at/General/Staff/CS