Jat
The Jinja Analysation Tool (jat) provides a complexity preserving transformation from Jinja bytecode programs to term rewrite system (see A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems).News
Release of version 1.1.0
2014/07/02
Version 1.1.0 has been released. This release contains several improvements and provides additional data-flow analyses.
Release of version 1.0.0
2013/04/20
Version 1.0.0 has been released. First experiments can be found here.
Requirements
The tool is written in Haskell and requires the Glasgow Haskell Conmpiler (GHC), version 7.6.*. Furthermore, it uses the term rewriting library. Both packages provide a cabal file. For installation, invoke cabal install.Usage
Analyse all methods in file ListAppend.jbc. Results are stored as ListAppend-Class-method.trs:$ jat ListAppend.jbcAnalyse method append of class List in file ListAppend.jbc. Result is printed to stdout:
$ jat ListAppend.jbc List appendReturn graph representation as dot file.
$ jat -f DOT ListAppend.jbc