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

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.