From WalaWiki

(Difference between revisions)
Jump to: navigation, search
Revision as of 15:50, 26 March 2007
Sjfink (Talk | contribs)

← Previous diff
Revision as of 15:55, 26 March 2007
Sjfink (Talk | contribs)

Next diff →
Line 1: Line 1:
 +[[wala.core technical overview]]
==Call Graph Basics== ==Call Graph Basics==

Revision as of 15:55, 26 March 2007

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