heros

Class ZeroedFlowFunctions<N,D,M>

java.lang.Object

heros.ZeroedFlowFunctions<N,D,M>

All Implemented Interfaces:

FlowFunctions<N,D,M>

public class ZeroedFlowFunctions<N,D,M>
extends java.lang.Object
implements FlowFunctions<N,D,M>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ZeroedFlowFunctions.ZeroedFlowFunction

Field Summary

Fields

Modifier and Type	Field and Description
protected FlowFunctions<N,D,M>	delegate
protected D	zeroValue

Constructor Summary

Constructors

Constructor and Description
ZeroedFlowFunctions(FlowFunctions<N,D,M> delegate, D zeroValue)

Method Summary

Modifier and Type	Method and Description
FlowFunction<D>	getCallFlowFunction(N callStmt, M destinationMethod) Returns the flow function that computes the flow for a call statement.
FlowFunction<D>	getCallToReturnFlowFunction(N callSite, N returnSite) Returns the flow function that computes the flow from a call site to a successor statement just after the call.
FlowFunction<D>	getNormalFlowFunction(N curr, N succ) Returns the flow function that computes the flow for a normal statement, i.e., a statement that is neither a call nor an exit statement.
FlowFunction<D>	getReturnFlowFunction(N callSite, M calleeMethod, N exitStmt, N returnSite) Returns the flow function that computes the flow for a an exit from a method.

Methods inherited from class java.lang.Object

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

Field Detail

delegate

protected final FlowFunctions<N,D,M> delegate

zeroValue

protected final D zeroValue

Constructor Detail

ZeroedFlowFunctions

public ZeroedFlowFunctions(FlowFunctions<N,D,M> delegate,
                           D zeroValue)

Method Detail

getNormalFlowFunction

public FlowFunction<D> getNormalFlowFunction(N curr,
                                             N succ)

Description copied from interface: FlowFunctions

Returns the flow function that computes the flow for a normal statement, i.e., a statement that is neither a call nor an exit statement.

Specified by:

getNormalFlowFunction in interface FlowFunctions<N,D,M>

Parameters:

curr - The current statement.

succ - The successor for which the flow is computed. This value can be used to compute a branched analysis that propagates different values depending on where control0flow branches.

getCallFlowFunction

public FlowFunction<D> getCallFlowFunction(N callStmt,
                                           M destinationMethod)

Description copied from interface: FlowFunctions

Returns the flow function that computes the flow for a call statement.

Specified by:

getCallFlowFunction in interface FlowFunctions<N,D,M>

Parameters:

callStmt - The statement containing the invoke expression giving rise to this call.

destinationMethod - The concrete target method for which the flow is computed.

getReturnFlowFunction

public FlowFunction<D> getReturnFlowFunction(N callSite,
                                             M calleeMethod,
                                             N exitStmt,
                                             N returnSite)

Description copied from interface: FlowFunctions

Returns the flow function that computes the flow for a an exit from a method. An exit can be a return or an exceptional exit.

Specified by:

getReturnFlowFunction in interface FlowFunctions<N,D,M>

Parameters:

callSite - One of all the call sites in the program that called the method from which the exitStmt is actually returning. This information can be exploited to compute a value that depends on information from before the call. Note: This value might be null if using a tabulation problem with SolverConfiguration.followReturnsPastSeeds() returning true in a situation where the call graph does not contain a caller for the method that is returned from.

calleeMethod - The method from which exitStmt returns.

exitStmt - The statement exiting the method, typically a return or throw statement.

returnSite - One of the successor statements of the callSite. There may be multiple successors in case of possible exceptional flow. This method will be called for each such successor. Note: This value might be null if using a tabulation problem with SolverConfiguration.followReturnsPastSeeds() returning true in a situation where the call graph does not contain a caller for the method that is returned from.

Returns:

getCallToReturnFlowFunction

public FlowFunction<D> getCallToReturnFlowFunction(N callSite,
                                                   N returnSite)

Description copied from interface: FlowFunctions

Returns the flow function that computes the flow from a call site to a successor statement just after the call. There may be multiple successors in case of exceptional control flow. In this case this method will be called for every such successor. Typically, one will propagate into a method call, using FlowFunctions.getCallFlowFunction(Object, Object), only such information that actually concerns the callee method. All other information, e.g. information that cannot be modified by the call, is passed along this call-return edge.

Specified by:

getCallToReturnFlowFunction in interface FlowFunctions<N,D,M>

Parameters:

callSite - The statement containing the invoke expression giving rise to this call.

returnSite - The return site to which the information is propagated. For exceptional flow, this may actually be the start of an exception handler.