Conference paper
Modular Control Flow Analysis for Libraries
One problem in analyzing object oriented languages is that the exact control flow graph is not known statically due to dynamic dispatching. However, this is needed in order to apply the large class of known interprocedural analysis. Control Flow Analysis in the object oriented setting aims at determining run-time types of variables, thus allowing to possibly targeted method implementations.
We present a flow sensitive analysis that allows separate handling of libraries and thereby efficient analysis of whole programs.
Language: | English |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 2002 |
Pages: | 165-179 |
Proceedings: | 9th International Static Analysis Symposium |
ISBN: | 3540442359 , 3540457895 , 9783540442356 and 9783540457893 |
Types: | Conference paper |
DOI: | 10.1007/3-540-45789-5_14 |
ORCIDs: | Probst, Christian W. |