Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 9th International Symposium on Static Analysis |
Publication date | 2002 |
DOIs | |
Publication status | Published - 2002 |
Event | 9th International Static Analysis Symposium - Technical University of Madrid, Madrid, Spain Duration: 17 Sept 2002 → 20 Sept 2017 Conference number: 9 |
Conference
Conference | 9th International Static Analysis Symposium |
---|---|
Number | 9 |
Location | Technical University of Madrid |
Country/Territory | Spain |
City | Madrid |
Period | 17/09/2002 → 20/09/2017 |