soot.jimple.infoflow.solver.functions

类 SolverCallFlowFunction

java.lang.Object

soot.jimple.infoflow.solver.functions.SolverCallFlowFunction

所有已实现的接口:

heros.FlowFunction<Abstraction>

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

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

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
SolverCallFlowFunction()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	computeTargets(Abstraction source)
abstract Set<Abstraction>	computeTargets(Abstraction d1, Abstraction d2) Computes the call flow function for the given call-site abstraction

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

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

构造器详细资料

SolverCallFlowFunction

public SolverCallFlowFunction()

方法详细资料

computeTargets

public Set<Abstraction> computeTargets(Abstraction source)

指定者:

computeTargets 在接口中 heros.FlowFunction<Abstraction>

computeTargets

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

Computes the call flow function for the given call-site abstraction

参数:

d1 - The abstraction at the current method's start node.

d2 - The abstraction at the call site

返回:

The set of caller-side abstractions at the callee's start node