soot.jimple.infoflow.solver.functions

类 SolverNormalFlowFunction

java.lang.Object

soot.jimple.infoflow.solver.functions.SolverNormalFlowFunction

所有已实现的接口:

heros.FlowFunction<Abstraction>

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

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

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
SolverNormalFlowFunction()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	computeTargets(Abstraction source)
abstract Set<Abstraction>	computeTargets(Abstraction d1, Abstraction d2) Computes the abstractions at the next node in the CFG.

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

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

构造器详细资料

SolverNormalFlowFunction

public SolverNormalFlowFunction()

方法详细资料

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 next node in the CFG.

参数:

d1 - The abstraction at the beginning of the current method, i.e. the context

d2 - The abstraction at the current node

返回:

The set of abstractions at the next node