JavalibSawja

Documentation

If you need documentation, you can:

Installation

  1. tar xf sawja-SAWJA_TRUNK.tar.bz2
  2. cd sawja-SAWJA_TRUNK
  3. ./configure.sh
  4. if there are missing dependencies, please install them and run ./configure.sh again.
  5. make && make install

You may need superuser rights for the installation phases.

(optional:) The performance of the XTA class analysis can be boosted by using BuDDy (a BDD package). To enable this, you have to download BuDDy, apply the patch buddycaml/patch on the source files and compile/install them. Finally, use ./configure.sh with option -b yes when compiling Sawja.