Modular Control Flow Analysis for Libraries

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2002

View graph of relations

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
StatePublished - 2002
Event9th International Static Analysis Symposium - Madrid, Spain

Conference

Conference9th International Static Analysis Symposium
Number9
LocationTechnical University of Madrid
CountrySpain
CityMadrid
Period17/09/200220/09/2017
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 4824089