JavalibSawja

Download

It is recommended to install Sawja via opam but the sources are also available here : Sawja 1.5.7.

Legacy versions of Sawja may be downloaded from Inria's GForge.

Examples

Some data flow analyses (live variable analysis, reachable definitions and available expressions) are available in the Sawja source files (src/dataflow_analyses). You will need to install Sawja before compiling the main example.