Transformation from Jinja bytecode to term rewrtite systems
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples
src
LICENSE
README.md
Setup.hs
jat.cabal
stack.yaml

README.md

JAT (Jinja Analysation Tool)

Provides a complexity preserving transformation from Jinja bytecode to (constraint) term rewrite system.

EXAMPLE USAGE

Print help.

jat -h

Analyse all methods in file ListAppend.jbc. Results are stored as ListAppend-Class-method.trs:

jat ListAppend.jbc

Analyse method append of class List in file ListAppend.jbc. Result is printed to stdout:

jat ListAppend.jbc List append 

Return graph representation as dot file.

jat -f DOT ListAppend.jbc