@TechReport{Mohnen:AIB-02-08,
  author =	 "M. Mohnen",
  title =	 "{An Open Framework for Data--Flow Analysis in Java}",
  number =	 "AIB-2002-08",
  year =	 "2002",
  institution =	 "{RWTH Aachen}",
  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. }",
  month =	 apr,
  url =		 "http://aib.informatik.rwth-aachen.de/2002/2002-08.ps.gz",
}