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