com.ibm.wala.dataflow.IFDS

Interface IFlowFunctionMap<T>

Type Parameters:

T - type of node in the supergraph

All Known Subinterfaces:

IPartiallyBalancedFlowFunctions<T>

All Known Implementing Classes:

IdentityFlowFunctions, ReachabilityFunctions, SliceFunctions

public interface IFlowFunctionMap<T>

A map from an edge in a supergraph to a flow function

Method Summary

Methods

Modifier and Type	Method and Description
IUnaryFlowFunction	getCallFlowFunction(T src, T dest, T ret)
IUnaryFlowFunction	getCallNoneToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	getCallToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	getNormalFlowFunction(T src, T dest)
IFlowFunction	getReturnFlowFunction(T call, T src, T dest)

Method Detail

getNormalFlowFunction

IUnaryFlowFunction getNormalFlowFunction(T src,
                                       T dest)

Parameters:

src -

dest -

Returns:

the flow function for a "normal" edge in the supergraph from src->dest

getCallFlowFunction

IUnaryFlowFunction getCallFlowFunction(T src,
                                     T dest,
                                     T ret)

Parameters:

src - the call block

dest - the entry of the callee

ret - the block that will be returned to, in the caller. This can be null .. signifying that facts can flow into the callee but not return

Returns:

the flow function for a "call" edge in the supergraph from src->dest

getReturnFlowFunction

IFlowFunction getReturnFlowFunction(T call,
                                  T src,
                                  T dest)

Parameters:

call - supergraph node of the call instruction for this return edge.

src -

dest -

Returns:

the flow function for a "return" edge in the supergraph from src->dest

getCallToReturnFlowFunction

IUnaryFlowFunction getCallToReturnFlowFunction(T src,
                                             T dest)

Parameters:

src -

dest -

Returns:

the flow function for a "call-to-return" edge in the supergraph from src->dest

getCallNoneToReturnFlowFunction

IUnaryFlowFunction getCallNoneToReturnFlowFunction(T src,
                                                 T dest)

Parameters:

src -

dest -

Returns:

the flow function for a "call-to-return" edge in the supergraph from src->dest, when the supergraph does not contain any callees of src. This happens via, e.g., slicing.