-
Notifications
You must be signed in to change notification settings - Fork 221
wala.core technical overview
snoopy edited this page May 16, 2019
·
3 revisions
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