soot.jimple.infoflow.solver.functions

类 SolverCallToReturnFlowFunction

java.lang.Object

soot.jimple.infoflow.solver.functions.SolverCallToReturnFlowFunction

所有已实现的接口:

heros.FlowFunction<Abstraction>

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

A special implementation of the call-to-return flow function that allows access to the fact associated with the method's start point (i.e. the current context).

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
SolverCallToReturnFlowFunction()

方法概要

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

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

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

构造器详细资料

SolverCallToReturnFlowFunction

public SolverCallToReturnFlowFunction()

方法详细资料

computeTargets

public Set<Abstraction> computeTargets(Abstraction source)

指定者:

computeTargets 在接口中 heros.FlowFunction<Abstraction>

computeTargets

public abstract Set<Abstraction> computeTargets(Abstraction d1,
                                                Abstraction d2)

Computes the abstractions at the return site

参数:

d1 - The abstraction at the beginning of the caller, i.e. the context in which the method call is made

d2 - The abstraction at the call site

返回:

The set of abstractions at the first node inside the callee