Download

XPTester_1.0_with_KLEE.tar.gz

XPTester_1.0_source.tar.gz

Alternatively, you may find all the files of XPTester at our repository at GitHub:
XPTester_binaries
XPTester_sources

Installation

Make sure you have installed JRE(1.6 or higher) for your machine.
We use cde to package the KLEE and its dependent tools(llvm-gcc, llvm-ld) to have the minimize size of portable executables. So you don`t need to build KLEE and its dependent components yourself. Alternatively, if you`d like to use your own built KLEE as XPTester`s backend, download and extract XPTester_without_KLEE. Make sure XPTester could find KLEE, add KLEE and corresponding tools(llvm-gcc, llvm-ld, ktest-tools) to your PATH.
Add XPTESTER_PATH to your PATH. Its value is the absolute path string to the source fold, where you have extracted XPTester.