harpoon.Analysis.PointerAnalysis
Class ComputeInterProcMuClosure

java.lang.Object
  harpoon.Analysis.PointerAnalysis.ComputeInterProcMuClosure

public class ComputeInterProcMuClosure
extends Object

ComputeMuClosure is a [functional-programming style] closure for the computeInterProcMu method. See the comments around that method for more info.

Version:

$Id: ComputeInterProcMuClosure.java,v 1.7 2005/08/17 23:34:00 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@MIT.edu>

Method Summary

static Relation

computeInterProcMu(CALL call, ParIntGraph pig_caller, ParIntGraph pig_callee, PANode[] callee_params, PointerAnalysis pa) Compute the node mappings for the inter-procedural analysis, according to the method outlined in Alex Salcianu's SM thesis (Figure 2-8, page 39).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

computeInterProcMu

public static Relation computeInterProcMu(CALL call,
                                          ParIntGraph pig_caller,
                                          ParIntGraph pig_callee,
                                          PANode[] callee_params,
                                          PointerAnalysis pa)

Compute the node mappings for the inter-procedural analysis, according to the method outlined in Alex Salcianu's SM thesis (Figure 2-8, page 39).

Parameters:

call - analyzed call site

pig_caller - graph for the point right before the call

pig_callee - summary graph for the end of the callee method

callee_params - PARAM nodes for the callee

Returns:

node mapping relation