ATVA15

All scripts necessary to repeat our experiments in the ATVA15 submission.
Instructions are included in the README file.

Configurable timeouts

Timeout per method can now be set using -t [timeout in seconds].
Default is 20s. Setting timeout to 0s means no timeout. This may be a bad idea however because Princess might get confused over some procedures and not terminate.

Implementation of the NFM'15 algorithm

Significant speedup on large procedures. Way less timeouts. Paper currently under submission, details will follow.
Comes with the scripts for the icse experiments for quick benchmarking against the old version.

ICSE Experiments

All scripts necessary to repeat our experiments in the ICSE submission.
Instructions are included in the README file.

First standalone version of Bixie

First self-contained version of Bixie.
Contains two versions of Bixie:

• bixie_soot2.5.jar which uses Soot 2.5.0. This version is better to analyze Java source files
• bixie_latestSoot.jar which uses the latest version of Soot. This version is better to analyze class files but crashes sometimes on source files.

Either run it with:

java -jar bixie_soot2.5.jar -j [my jave file dir, or jar file] 

optionally add

java -jar bixie_soot2.5.jar -j [my jave file dir, or jar file] -cp [my classpath]

If you have boogie files run it with:

java -jar bixie_soot2.5.jar -b my_boogie_file.bpl

Output will end up in a text file in the directory you run it from, or use -o to specify a different target.

And be generous with memory to keep Bixie happy. I use:

-Xmx4g -Xms4g -Xss4m