heros

Class ProfiledFlowFunctions<N,D,M>

java.lang.Object

heros.ProfiledFlowFunctions<N,D,M>

All Implemented Interfaces:

FlowFunctions<N,D,M>

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

A wrapper that can be used to profile flow functions.

Field Summary

Fields

Modifier and Type	Field and Description
protected FlowFunctions<N,D,M>	delegate
long	durationCall
long	durationCallReturn
long	durationNormal
long	durationReturn

Constructor Summary

Constructors

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

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

durationNormal

public long durationNormal

durationCall

public long durationCall

durationReturn

public long durationReturn

durationCallReturn

public long durationCallReturn

Constructor Detail

ProfiledFlowFunctions

public ProfiledFlowFunctions(FlowFunctions<N,D,M> delegate)

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.