soot.jimple.infoflow.solver

类 SolverPeerGroup

java.lang.Object

soot.jimple.infoflow.solver.SolverPeerGroup

直接已知子类:

GCSolverPeerGroup

public abstract class SolverPeerGroup
extends Object

Peer group for synchronizing multiple IFDS solvers

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected Set<IInfoflowSolver>	solvers

构造器概要

构造器

构造器和说明
SolverPeerGroup()

方法概要

限定符和类型	方法和说明
void	addSolver(IInfoflowSolver solver) Adds a data flow solver to this peer group

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

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

字段详细资料

solvers

protected Set<IInfoflowSolver> solvers

构造器详细资料

SolverPeerGroup

public SolverPeerGroup()

方法详细资料

addSolver

public void addSolver(IInfoflowSolver solver)

Adds a data flow solver to this peer group

参数:

solver - The solver to add