接口的使用
soot.jimple.infoflow.memory.IMemoryBoundedSolver

使用IMemoryBoundedSolver的程序包

程序包	说明
soot.jimple.infoflow.data.pathBuilders
soot.jimple.infoflow.memory
soot.jimple.infoflow.solver.fastSolver
soot.jimple.infoflow.solver.fastSolver.flowInsensitive

soot.jimple.infoflow.data.pathBuilders中IMemoryBoundedSolver的使用

soot.jimple.infoflow.data.pathBuilders中IMemoryBoundedSolver的子接口

限定符和类型	接口和说明
interface	IAbstractionPathBuilder Common interface for all path construction algorithms.

实现IMemoryBoundedSolver的soot.jimple.infoflow.data.pathBuilders中的类

限定符和类型	类和说明
class	AbstractAbstractionPathBuilder Abstract base class for all abstraction path builders
class	BatchPathBuilder Path builder that forwards all its requests to another path builder in batches.
class	ConcurrentAbstractionPathBuilder
class	ContextInsensitivePathBuilder Class for reconstructing abstraction paths from sinks to source.
class	ContextInsensitiveSourceFinder Class for reconstructing abstraction paths from sinks to source
class	ContextSensitivePathBuilder Class for reconstructing abstraction paths from sinks to source.
class	EmptyPathBuilder An empty implementation of IAbstractionPathBuilder that always returns the empty set.
class	RecursivePathBuilder Recursive algorithm for reconstructing abstraction paths from sink to source

soot.jimple.infoflow.memory中IMemoryBoundedSolver的使用

参数类型为IMemoryBoundedSolver的soot.jimple.infoflow.memory中的方法

限定符和类型	方法和说明
void	FlowDroidTimeoutWatcher.addSolver(IMemoryBoundedSolver solver) Adds a solver that shall be terminated when the timeout is reached
void	FlowDroidMemoryWatcher.addSolver(IMemoryBoundedSolver solver) Adds a solver that shall be terminated when the memory threshold is reached
void	FlowDroidTimeoutWatcher.notifySolverStarted(IMemoryBoundedSolver solver)
void	IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification.notifySolverStarted(IMemoryBoundedSolver solver) Method that is called when the solver has received its first task
void	FlowDroidTimeoutWatcher.notifySolverTerminated(IMemoryBoundedSolver solver)
void	IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification.notifySolverTerminated(IMemoryBoundedSolver solver) Method that is called when the solver has finished its last task
boolean	FlowDroidMemoryWatcher.removeSolver(IMemoryBoundedSolver solver) Removes the given solver from the watch list.

soot.jimple.infoflow.solver.fastSolver中IMemoryBoundedSolver的使用

实现IMemoryBoundedSolver的soot.jimple.infoflow.solver.fastSolver中的类

限定符和类型	类和说明
class	IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>> A solver for an IFDSTabulationProblem.

soot.jimple.infoflow.solver.fastSolver.flowInsensitive中IMemoryBoundedSolver的使用

实现IMemoryBoundedSolver的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的类

限定符和类型	类和说明
class	FlowInsensitiveSolver<N extends soot.Unit,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>> A solver for an IFDSTabulationProblem.
class	InfoflowSolver We are subclassing the JimpleIFDSSolver because we need the same executor for both the forward and the backward analysis Also we need to be able to insert edges containing new taint information