Kex is a white-box fuzzer tool for Java bytecode.
-
z3-java v4.8.6
you need to manually install jar package with java bindings to your local maven repository using following command:
mvn install:install-file -Dfile=/usr/lib/com.microsoft.z3.jar -DgroupId=com.microsoft -DartifactId=z3 -Dversion=4.8.6 -Dpackaging=jar
-
boolector-java v3.2.1
-
build jar with all the dependencies:
mvn clean package
-
build with only one SMT solver support:
mvn clean package -Psolver
where
solver
stand for required solver name (boolector
orz3
)
Run all the tests:
mvn clean verify
Usage: kex
--config <arg> configuration file
-h,--help print this help and quit
-j,--jar <arg> input jar file path
--log <arg> log file name (`kex.log` by default)
-m,--mode <arg> run mode: bmc, concolic or debug
--option <section:name:value> set kex option through command line
--output <arg> target directory for instrumented bytecode
output
--ps <arg> file with predicate state to debug; used
only in debug mode
-t,--target <arg> target to analyze: package, class or method