Declarative Intraprocedural Flow Analysis of Java Source Code

Authors:
Emma Nilsson-Nyman;Görel Hedin;Eva Magnusson;Torbjörn Ekman
Affiliations:
Department of Computer Science, Lund University, Lund, Sweden;Department of Computer Science, Lund University, Lund, Sweden;Department of Computer Science, Lund University, Lund, Sweden;Programming Tools Group, University of Oxford, Oxford, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 10
Cited 7

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Static analysis for a software transformation tool

Static analysis for a software transformation tool
Control flow analysis

Proceedings of a symposium on Compiler optimization
Remote attribute grammars

Journal of the ACM (JACM)
Circular reference attributed grammars — their evaluation and applications

Science of Computer Programming
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications

SCAM '07 Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation
Attribute grammar-based language extensions for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Practical Scope Recovery Using Bridge Parsing

Software Language Engineering
Correct refactoring of concurrent java code

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Applying attribute grammars for metamodel semantics

Proceedings of the International Workshop on Formalization of Modeling Languages
An introductory tutorial on JastAdd attribute grammars

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Automated selective caching for reference attribute grammars

SLE'10 Proceedings of the Third international conference on Software language engineering
Reference attribute grammars for metamodel semantics

SLE'10 Proceedings of the Third international conference on Software language engineering
McSAF: a static analysis framework for MATLAB

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.