wala.core technical overview

This section of the user guide holds information on how to use facilities in wala.core. This is stuff you probably need to know.

• Naming Java Entities
• Analysis Scope
• Class Hierarchy
• IR
• Call Graph
• Pointer Analysis
• Slicer
• Native Code
• Dataflow Solvers
• Mapping Back to Source Code