Experiments
Jimple grammar
Click here to download the
sub-grammar of Jimple that the tool handles right now.
Example files
Here are some examples that have been run through the tool.
For each example, you will find the following files
example.java.org : The original Java source file
example.java : The Java pruned to relevant code (manually sliced)
example.class : The compiled Java class file (bytecode)
example.jimple : The corresponding Jimple code
PredicateList.java: The predicated used for abstraction (embedded in a
java file)
example.bjp : The abstracted boolean Jimple code
example.smv : The corresponding game encoded in SMV
example.info : Summary of result statistics (time taken, etc.)
example.bmp : Final interface graph as a figure (determinized and
minimized)
Signature class
ServerTableEntry class
ListItr class