Assets 3

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

@martinschaef martinschaef released this Mar 30, 2017 · 2 commits to master since this release

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

…ty warnings

@martinschaef martinschaef released this Mar 15, 2017 · 3 commits to master since this release

Assets 4

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

@martinschaef martinschaef released this Jan 11, 2017 · 4 commits to master since this release

Assets 4

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

@martinschaef martinschaef released this Aug 26, 2016 · 6 commits to master since this release

Assets 4

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

@martinschaef martinschaef released this Nov 9, 2015 · 23 commits to master since this release

Assets 3

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.

Pre-release
Pre-release

@martinschaef martinschaef released this Nov 3, 2015 · 36 commits to master since this release

Assets 3

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