Added setter for -src option

0.71

added setter for SrcFileString

Updated the -src option to automatically traverse directories

-src option now checks if an entry is a folder and traverses it automatically to find all source files recursively.

Added option to suppress warnings above threshold.

0.6

added option serverityLimit which can be set to 0 suppress reachabili…

Improved stability for loading class files

See instructions from previous releases on how to run the tool.

Support for stubbing assertion methods

Added support for user provided stubs for assertion methods such as com.google.common.base.Verify.verify(boolean). The stubs are provided in json format to tell bixie which paramert(s) constitute the assertion, which operator to use (if any), and if the guard should be negated. This is a very limited way of stubbing and will be extended in the future.

#get bixie and guava
wget https://github.com/SRI-CSL/bixie/releases/download/0.4/bixie.jar
wget https://github.com/google/guava/releases/download/v20.0/guava-20.0.jar

#get the example file
wget https://gist.githubusercontent.com/martinschaef/24c922b0e75a09af3ba3dae5500d118d/raw/72d55612d7fc9f018a20662826029b1cf1775f1b/BixieStubTest.java 

#compile the file
mkdir out
javac -cp ./guava-20.0.jar BixieStubTest.java -d out

#get the example stubs in json format
wget https://raw.githubusercontent.com/SRI-CSL/bixie/master/src/main/resources/builtin_stubs.json

#run bixie with the json stubs.
java -jar bixie.jar -j out -importStubs builtin_stubs.json

Added JSON output and Boogie printing

Added -json option to produce report in json format and -b filename option to print the internal boogie program. Note that our Boogie output may not be compatible with the latest version of boogie.

As in the previous version, run with:

cd your-project
python /path/to/bixe/runner.py -- gradle clean compileJava [or ant, or mvn, depending on your build system]
// Note that you have to do a clean build, otherwise bixie will only analyze the delta.
cd bixie_report1
open index.html

Added runner and improved output

Release includes runner.py to start bixie and exports warnings as html page.
Run with:
cd your-project
python /path/to/bixe/runner.py -- gradle clean compileJava [or ant, or mvn, depending on your build system]
// Note that you have to do a clean build, otherwise bixie will only analyze the delta.
cd bixie_report1
open index.html

please report false positives to us by zipping the report folder.

First release

First version of Bixie.
Run with:
java -jar bixie.jar -j /path/to/class/files