An open framework for data-flow analysis in Java: extended abstract

Authors:
Markus Mohnen
Affiliations:
Lehrstuhl für Informatik II, RWTH Aachen, Germany
Venue:
PPPJ '02/IRE '02 Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002
Year:
2002

Citing 12
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Advanced compiler design and implementation

Advanced compiler 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
An open graph visualization system and its applications to software engineering

Software—Practice & Experience - Special issue on discrete algorithm engineering
Java Virtual Machine Specification

Java Virtual Machine Specification
Java Language Specification, Second Edition: The Java Series

Java Language Specification, Second Edition: The Java Series
ERLANG for Concurrent Programming

ERLANG for Concurrent Programming
Program Flow Analysis: Theory and Application

Program Flow Analysis: Theory and Application
Basic-Block Graphs: Living Dinosaurs?

CC '98 Proceedings of the 7th International Conference on Compiler Construction
A Graph-Free Approach to Data-Flow Analysis

CC '02 Proceedings of the 11th International Conference on Compiler Construction

Type Systems for Optimizing Stack-based Code

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe work in progress on a framework for data-flow based program analysis. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework allows the definition of intraprocedural analyses for Java Virtual Machine (JVM) code on a high level of abstraction.The framework is provided as a set of APIs for Java. Through the extensive use of Java interface concept, we established an open framework: For instance, specific implementations of abstract domains can easily be used in our framework.