A tool for Tree Decompositions in Soot
Initial draft of the paper about JTDec (Submitted to ATVA 2017).
The appendix contains detailed instructions about running JTDec.
An executable jar file that can be used to obtain Tree decompositions of Java methods.
JTDec library (depends on soot).
A virtual machine that contains JTDec.jar and a ready-to-use example (the same example as demonstrated in the paper).
All passwords are “JTDec”.
JTDec is free software. You can use it under the terms of GNU GPL version 3 or later.
Feel free to write to goharshady[at-sign]ist.ac.at.