soot.jimple.infoflow.solver.functions

类 SolverReturnFlowFunction

java.lang.Object

soot.jimple.infoflow.solver.functions.SolverReturnFlowFunction

所有已实现的接口:

heros.FlowFunction<Abstraction>

public abstract class SolverReturnFlowFunction
extends Object
implements heros.FlowFunction<Abstraction>

A special implementation of the return flow function that allows access to the facts associated with the start points of the callees (i.e. the contexts to which we return).

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
SolverReturnFlowFunction()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	computeTargets(Abstraction source)
abstract Set<Abstraction>	computeTargets(Abstraction source, Abstraction calleeD1, Collection<Abstraction> callerD1s) Computes the abstractions at the return site.

从类继承的方法 java.lang.Object

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

构造器详细资料

SolverReturnFlowFunction

public SolverReturnFlowFunction()

方法详细资料

computeTargets

public Set<Abstraction> computeTargets(Abstraction source)

指定者:

computeTargets 在接口中 heros.FlowFunction<Abstraction>

computeTargets

public abstract Set<Abstraction> computeTargets(Abstraction source,
                                                Abstraction calleeD1,
                                                Collection<Abstraction> callerD1s)

Computes the abstractions at the return site.

参数:

source - The abstraction at the exit node

calleeD1 - The abstraction at the start point of the callee

callerD1s - The abstractions at the start nodes of all methods to which we return (i.e. the contexts to which this flow function will be applied).

返回:

The set of abstractions at the return site.