Javalib
Sawja
Download
Javalib 2.2.2 / Sawja 1.4Legacy 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.