heros

Interface EdgeFunctions<N,D,M,V>

Type Parameters:

N - The type of nodes in the interprocedural control-flow graph. Typically Unit.

D - The type of data-flow facts to be computed by the tabulation problem.

M - The type of objects used to represent methods. Typically SootMethod.

V - The type of values to be computed along flow edges.

All Known Implementing Classes:

EdgeFunctionCache

public interface EdgeFunctions<N,D,M,V>

Classes implementing this interface provide a range of edge functions used to compute a V-type value for each of the finitely many D-type values reachable in the program.

Method Summary

Modifier and Type	Method and Description
EdgeFunction<V>	getCallEdgeFunction(N callStmt, D srcNode, M destinationMethod, D destNode) Returns the function that computes how the V-typed value changes when being propagated along a method call.
EdgeFunction<V>	getCallToReturnEdgeFunction(N callSite, D callNode, N returnSite, D returnSideNode) Returns the function that computes how the V-typed value changes when being propagated from a method call to one of its intraprocedural successor.
EdgeFunction<V>	getNormalEdgeFunction(N curr, D currNode, N succ, D succNode) Returns the function that computes how the V-typed value changes when being propagated from srcNode at statement src to tgtNode at statement tgt.
EdgeFunction<V>	getReturnEdgeFunction(N callSite, M calleeMethod, N exitStmt, D exitNode, N returnSite, D retNode) Returns the function that computes how the V-typed value changes when being propagated along a method exit (return or throw).

Method Detail

getNormalEdgeFunction

EdgeFunction<V> getNormalEdgeFunction(N curr,
                                      D currNode,
                                      N succ,
                                      D succNode)

Returns the function that computes how the V-typed value changes when being propagated from srcNode at statement src to tgtNode at statement tgt.

Parameters:

curr - The statement from which the flow originates.

currNode - The D-type value with which the source value is associated.

succ - The target statement of the flow.

succNode - The D-type value with which the target value will be associated.

getCallEdgeFunction

EdgeFunction<V> getCallEdgeFunction(N callStmt,
                                    D srcNode,
                                    M destinationMethod,
                                    D destNode)

Returns the function that computes how the V-typed value changes when being propagated along a method call.

Parameters:

callStmt - The call statement from which the flow originates.

srcNode - The D-type value with which the source value is associated.

destinationMethod - A concrete destination method of the call.

destNode - The D-type value with which the target value will be associated at the side of the callee.

getReturnEdgeFunction

EdgeFunction<V> getReturnEdgeFunction(N callSite,
                                      M calleeMethod,
                                      N exitStmt,
                                      D exitNode,
                                      N returnSite,
                                      D retNode)

Returns the function that computes how the V-typed value changes when being propagated along a method exit (return or throw).

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 depend 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 we are exiting.

exitStmt - The exit statement from which the flow originates.

exitNode - The D-type value with which the source value is associated.

returnSite - One of the possible successor statements of a caller to the method we are exiting from. 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.

tgtNode - The D-type value with which the target value will be associated at the returnSite.

getCallToReturnEdgeFunction

EdgeFunction<V> getCallToReturnEdgeFunction(N callSite,
                                            D callNode,
                                            N returnSite,
                                            D returnSideNode)

Returns the function that computes how the V-typed value changes when being propagated from a method call to one of its intraprocedural successor.

Parameters:

callSite - The call statement from which the flow originates.

callNode - The D-type value with which the source value is associated.

returnSite - One of the possible successor statements of a call statement.

returnSideNode - The D-type value with which the target value will be associated at the returnSite.