JavalibSawja

Download

Legacy versions of Sawja and Javalib 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.

An interval analysis is available here. You will need Sawja to compile it.