If you need documentation, you can:


  1. tar xf sawja-SAWJA_TRUNK.tar.bz2
  2. cd sawja-SAWJA_TRUNK
  3. ./
  4. if there are missing dependencies, please install them and run ./ 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 ./ with option -b yes when compiling Sawja.