Declarative intraprocedural flow analysis of Java source code

Emma Söderberg, Torbjörn Ekman, Görel Hedin, Eva Magnusson

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

Abstract

We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a
declarative manner, using reference attribute grammars augmented with circular attributes
and collection attributes. Our implementation is built on top of the JastAdd
Extensible Java Compiler and we have run the analyses on medium-sized Java programs.
We show how the analyses can be built using small concise composable modules, and
how they provide extensible frameworks for further source code analyses. Preliminary
measurements indicate that there is little difference in execution time between our
declarative data-flow analysis and an imperative implementation.
Original languageEnglish
Title of host publicationElectronic Notes in Theoretical Computer Science 238 (2009)
PublisherElsevier
Pages155-171
DOIs
Publication statusPublished - 2008
EventLDTA'08: 8th Workshop on Language Description, Tools and Applications - Budapest, Hungary
Duration: 2008 Apr 5 → …

Publication series

Name
ISSN (Print)1571-0661

Conference

ConferenceLDTA'08: 8th Workshop on Language Description, Tools and Applications
Country/TerritoryHungary
CityBudapest
Period2008/04/05 → …

Subject classification (UKÄ)

  • Computer Science

Fingerprint

Dive into the research topics of 'Declarative intraprocedural flow analysis of Java source code'. Together they form a unique fingerprint.

Cite this