From WalaWiki

Revision as of 15:55, 26 March 2007; view current revision
←Older revision | Newer revision→
Jump to: navigation, search

wala.core technical overview

Call Graph Basics

The CallGraph class represents potentially context-sensitive call graphs, via a logical cloning of methods. Each call graph node (CGNode) represents a method IMethod in a Context.

So what's a Context? Basically, a Context is just a name for a clone of an IMethod. For context-insensitive call graphs, note the special Context Everywhere.EVERYWHERE. This will be used as a default context in context-insensitive algorithms.

Note that for a given IMethod, a context-sensitive call graph may have many nodes (contexts) representing the method. You can get all these nodes using the method CallGraph.getNodes(MethodReference m)

WALA supports a family of on-the-fly call graph construction algorithms, integrated with flow-insensitive pointer analysis. See UserGuide:PointerAnalysis for more details.

Personal tools
project information