About WALA

This is a fork of the program analysis framework WALA. The original framework can be found at wala.sourceforge.net and github.com/msridhar/WALA.

This version is tailored for the information flow control framework JOANA. See joana.ipd.kit.edu and github.com/jgf/joana for details.

This fork includes some additional features:

• null-pointer detection that removes spurious CFG edges.
• it includes the code for a dalivk bytecode frontend copied and integrated from github.com/SCanDroid/SCanDroid.
• configuration/property files are loaded from current directory, with an automatic fallback to load from .jar.
• SDG implementation that has different edge types for control and data dependencies.
• every SSAInstrution knows its index.
• many other minor changes.