soot.jimple.infoflow.data.pathBuilders

类 AbstractAbstractionPathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

直接已知子类:

BatchPathBuilder, ConcurrentAbstractionPathBuilder, RecursivePathBuilder

public abstract class AbstractAbstractionPathBuilder
extends Object
implements IAbstractionPathBuilder

Abstract base class for all abstraction path builders

作者:

Steven Arzt

嵌套类概要

从接口继承的嵌套类/接口 soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder

IAbstractionPathBuilder.OnPathBuilderResultAvailable

从接口继承的嵌套类/接口 soot.jimple.infoflow.memory.IMemoryBoundedSolver

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

字段

限定符和类型	字段和说明
protected org.slf4j.Logger	logger
protected InfoflowManager	manager
protected InfoflowConfiguration.PathConfiguration	pathConfig
protected Set<IAbstractionPathBuilder.OnPathBuilderResultAvailable>	resultAvailableHandlers

构造器概要

构造器

构造器和说明
AbstractAbstractionPathBuilder(InfoflowManager manager) Creates a new instance of the AbstractAbstractionPathBuilder class

方法概要

限定符和类型	方法和说明
void	addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler) Adds a handler that gets called when the path reconstructor has found a new source-to-sink connection

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

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

从接口继承的方法 soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder

computeTaintPaths, getResults, runIncrementalPathCompuation

从接口继承的方法 soot.jimple.infoflow.memory.IMemoryBoundedSolver

addStatusListener, forceTerminate, getTerminationReason, isKilled, isTerminated, reset

字段详细资料

logger

protected final org.slf4j.Logger logger

manager

protected final InfoflowManager manager

pathConfig

protected final InfoflowConfiguration.PathConfiguration pathConfig

resultAvailableHandlers

protected Set<IAbstractionPathBuilder.OnPathBuilderResultAvailable> resultAvailableHandlers

构造器详细资料

AbstractAbstractionPathBuilder

public AbstractAbstractionPathBuilder(InfoflowManager manager)

Creates a new instance of the AbstractAbstractionPathBuilder class

参数:

manager - The data flow manager that gives access to the icfg and other objects

方法详细资料

addResultAvailableHandler

public void addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler)

从接口复制的说明: IAbstractionPathBuilder

Adds a handler that gets called when the path reconstructor has found a new source-to-sink connection

指定者:

addResultAvailableHandler 在接口中 IAbstractionPathBuilder

参数:

handler - The handler to add