Table of ContentsStatic 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 |