soot.jimple.infoflow.solver.gcSolver

类 AggressiveGarbageCollector<N,D>

java.lang.Object

soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector<N,D>

soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector<N,D>

所有已实现的接口:

IGarbageCollector<N,D>

public class AggressiveGarbageCollector<N,D>
extends AbstractGarbageCollector<N,D>

Aggressive garbage collector that optimizes memory usage, but may degrade performance by removing path edges too early. This implementation does not necessarily guarantee that the analysis terminates at all. Use with caution.

作者:

Steven Arzt

字段概要

从类继承的字段 soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector

icfg, jumpFunctions, referenceProvider

构造器概要

构造器

构造器和说明
AggressiveGarbageCollector(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod> icfg, soot.util.ConcurrentHashMultiMap<soot.SootMethod,heros.solver.PathEdge<N,D>> jumpFunctions)

方法概要

限定符和类型	方法和说明
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
void	setMethodThreshold(int threshold) Sets the number of methods for which edges must have been added before garbage collection is started

从类继承的方法 soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector

createReferenceProvider, initialize

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

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

构造器详细资料

AggressiveGarbageCollector

public AggressiveGarbageCollector(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod> icfg,
                                  soot.util.ConcurrentHashMultiMap<soot.SootMethod,heros.solver.PathEdge<N,D>> jumpFunctions)

方法详细资料

notifyEdgeSchedule

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

从接口复制的说明: IGarbageCollector

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

参数:

edge - The edge that has been scheduled

notifyTaskProcessed

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

从接口复制的说明: IGarbageCollector

Notifies the garbage collector that an edge has been fully processed

参数:

edge - The edge has been fully processed

gc

public void gc()

从接口复制的说明: IGarbageCollector

Performs the garbage collection

getGcedMethods

public int getGcedMethods()

从接口复制的说明: IGarbageCollector

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

public int getGcedEdges()

从接口复制的说明: IGarbageCollector

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

返回:

The number of taint abstractions that were removed during garbage collection

setMethodThreshold

public void setMethodThreshold(int threshold)

Sets the number of methods for which edges must have been added before garbage collection is started

参数:

threshold - The threshold of new methods required to trigger garbage collection

notifySolverTerminated

public void notifySolverTerminated()

从接口复制的说明: IGarbageCollector

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