Extensible intraprocedural flow analysis at the abstract syntax tree level

Authors:
Emma SöDerberg;TorbjöRn Ekman;GöRel Hedin;Eva Magnusson
Affiliations:
Department of Computer Science, Lund University, Lund, Sweden;Semmle Limited, Oxford, United Kingdom;Department of Computer Science, Lund University, Lund, Sweden;Department of Computer Science, Lund University, Lund, Sweden
Venue:
Science of Computer Programming
Year:
2013

Citing 19
Cited 0

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
A simple technique for handling multiple polymorphism

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Modern Compiler Implementation in Java

Modern Compiler Implementation in Java
Solving Demand Versions of Interprocedural Analysis Problems

CC '94 Proceedings of the 5th International Conference on Compiler Construction
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Remote attribute grammars

Journal of the ACM (JACM)
The DaCapo benchmarks: java benchmarking development and analysis

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
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
The JastAdd system — modular extensible compiler construction

Science of Computer Programming
Wake up and smell the coffee: evaluation methodology for the 21st century

Communications of the ACM - Designing games with a purpose
Using Static Analysis to Find Bugs

IEEE Software
Sound and extensible renaming for java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Strictly declarative specification of sophisticated points-to analyses

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Modular name analysis for java using jastadd

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have developed a new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level. Our approach is declarative, making use of reference attribute grammars augmented with circular attributes and collection attributes. This results in concise executable specifications of the analyses, allowing extensions both to the language and with further source code analyses. To evaluate the new approach, we have implemented control flow, dataflow and dead assignment analyses for Java, by extending the JastAdd Extensible Java Compiler. We have compared our results to several well-known analysis frameworks and tools, using a set of Java programs as benchmarks. These results show that our approach performs well concerning both efficiency and preciseness.