soot.jimple.infoflow.solver.gcSolver

接口 IGarbageCollector<N,D>

所有已知实现类:

AbstractGarbageCollector, AbstractReferenceCountingGarbageCollector, AggressiveGarbageCollector, DefaultGarbageCollector, NullGarbageCollector, ThreadedGarbageCollector

public interface IGarbageCollector<N,D>

Common interface for all garbage collector implementations oin the solver

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
void	gc() Performs the garbage collection
int	getGcedEdges() Gets the number of taint abstractions that were removed during garbage collection
int	getGcedMethods() Gets the number of methods for which taint abstractions were removed during garbage collection
void	notifyEdgeSchedule(heros.solver.PathEdge<N,D> edge) Notifies the garbage collector that a new edge has been scheduled for processing
void	notifySolverTerminated() Notifies the garbage collector that the IFDS solver has finished propagating its edges
void	notifyTaskProcessed(heros.solver.PathEdge<N,D> edge) Notifies the garbage collector that an edge has been fully processed

方法详细资料

notifyEdgeSchedule

void notifyEdgeSchedule(heros.solver.PathEdge<N,D> edge)

Notifies the garbage collector that a new edge has been scheduled for processing

参数:

edge - The edge that has been scheduled

notifyTaskProcessed

void notifyTaskProcessed(heros.solver.PathEdge<N,D> edge)

Notifies the garbage collector that an edge has been fully processed

参数:

edge - The edge has been fully processed

gc

void gc()

Performs the garbage collection

getGcedMethods

int getGcedMethods()

Gets the number of methods for which taint abstractions were removed during garbage collection

返回:

The number of methods for which taint abstractions were removed during garbage collection

getGcedEdges

int getGcedEdges()

Gets the number of taint abstractions that were removed during garbage collection

返回:

The number of taint abstractions that were removed during garbage collection

notifySolverTerminated

void notifySolverTerminated()

Notifies the garbage collector that the IFDS solver has finished propagating its edges