Wala.core_technical_overview - nimakarimipour/WALAWiki GitHub Wiki

---

title: Wala.core technical overview permalink: /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