In: Proceedings of 8th Workshop on Language Descriptions, Tools and Applications (LDTA 2008), Budapest, Hungary, 2008.

Authors: Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin, Eva Magnusson

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.

(PDF)

BIBTEX:

@inproceedings{JastAddFlowAnalysis,
    author = "Emma Nilsson-Nyman and Torbj{\"o}rn Ekman and G{\"o}rel Hedin and Eva Magnusson",
    title = "Declarative Intraprocedural Flow Analysis of Java Source Code",
    booktitle = "Proceedings of 8th Workshop on Language Descriptions, Tools and Applications (LDTA 2008)",
    year = "2008"
}