Modular Control Flow Analysis for Libraries

Christian W. Probst

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

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

    Conference

    Conference9th International Static Analysis Symposium
    Number9
    LocationTechnical University of Madrid
    Country/TerritorySpain
    CityMadrid
    Period17/09/200220/09/2017

    Fingerprint

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

    Cite this