Main menu:

Subpages for Downloads:

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 [options].
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.

Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.