Modular Control Flow Analysis for Libraries

Christian W. Probst

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    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 languageEnglish
    Title of host publicationProceedings of the 9th International Symposium on Static Analysis
    Publication date2002
    Publication statusPublished - 2002
    Event9th International Static Analysis Symposium - Technical University of Madrid, Madrid, Spain
    Duration: 17 Sep 200220 Sep 2017
    Conference number: 9


    Conference9th International Static Analysis Symposium
    LocationTechnical University of Madrid


    Dive into the research topics of 'Modular Control Flow Analysis for Libraries'. Together they form a unique fingerprint.

    Cite this