JatThe 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).
Release of version 1.1.0
Version 1.1.0 has been released. This release contains several improvements and provides additional data-flow analyses.
Release of version 1.0.0
RequirementsThe 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.
UsageAnalyse 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