Javalib
Sawja
Documentation
If you need documentation, you can:
- read the on-line tutorial (old versions)
- read the on-line API documentation (old versions)
- make the documentation (see INSTALL file) and read starting from sawja/doc/api/index.html
- browse the .mli files in the source
- post a message or send an email (see Contacts)
Installation
The installation procedure is similar to Javalib. Moreover, you must install Javalib before installing Sawja.
(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.