Java to GROOVE compiler
In the paper A Type Graph Model for Java Programs and the accompanying technical report we show how Java source code can be translated into GROOVE graphs to be manipulated by the tool.
The Java to GROOVE graph compiler can be downloaded here. To run the compiler, just uncompress the downloaded archive, cd to the bin directory, and run it with java -jar GraphCompiler.jar
The compiler source code is available here: GCompiler@SF.net.
The intended use for the graphs produced by the compiler is to serve as input for the grammars that define the Java semantics. Grammars that build the control flow graph and simulate program execution can be downloaded from the GROOVE SourceForge page: Java Semantics@SF.net.