Declarative intraprocedural flow analysis of Java source code

Summary, in English

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.

• Author: Emma Söderberg; Torbjörn Ekman; Görel Hedin; Eva Magnusson
• Department/s: Department of Computer Science; Software Development and Environments
• Publishing year: 2008
• Language: English
• Pages: 155-171
• Publication/Series: Electronic Notes in Theoretical Computer Science 238 (2009)
• Links: http://dx.doi.org/10.1016/j.entcs.2009.09.046
• Document type: Conference paper
• Publisher: Elsevier
• Topic: Computer Science
• Conference name: LDTA'08: 8th Workshop on Language Description, Tools and Applications
• Conference date: 2008-04-05
• Conference place: Budapest, Hungary
• Status: Published
• Project: Embedded Applications Software Engineering
• ISBN/ISSN/Other: ISSN: 1571-0661