soot.jimple.infoflow.solver.gcSolver

类 AbstractReferenceCountingGarbageCollector<N,D>

java.lang.Object

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

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

所有已实现的接口:

IGarbageCollector<N,D>, IGarbageCollectorPeer

直接已知子类:

DefaultGarbageCollector, ThreadedGarbageCollector

public abstract class AbstractReferenceCountingGarbageCollector<N,D>
extends AbstractGarbageCollector<N,D>
implements IGarbageCollectorPeer

Abstract base class for garbage collectors based on reference counting

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected int	edgeThreshold Wait for at least this number of edges before starting the garbage collection
protected int	methodThreshold The number of methods to collect as candidates for garbage collection, before halting the taint propagation and actually cleaning them up
protected Set<heros.solver.PathEdge<N,D>>	oldEdges
protected boolean	validateEdges

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

icfg, jumpFunctions, referenceProvider

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
protected void	gcImmediate() Immediately performs 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
boolean	hasActiveDependencies(soot.SootMethod method) Checks whether the given method has any open dependencies in any of the solvers that are members of this peer group that prevent its jump functions from being garbage collected
void	notifyEdgeSchedule(heros.solver.PathEdge<N,D> edge) Notifies the garbage collector that a new edge has been scheduled for processing
void	notifyTaskProcessed(heros.solver.PathEdge<N,D> edge) Notifies the garbage collector that an edge has been fully processed
protected void	onAfterRemoveEdges(int gcedMethods) Method that is called after the last edge has been removed from the jump functions
protected void	onBeforeRemoveEdges() Method that is called before the first edge is removed from the jump functions
void	setCheckChangeCounter(boolean checkChangeCounter) Sets whether the change counter shall be checked when identifying active method dependencies
void	setEdgeThreshold(int threshold) Sets the minimum number of edges that shall be propagated before triggering the garbage collection
void	setMethodThreshold(int threshold) Sets the number of methods for which edges must have been added before garbage collection is started
void	setPeerGroup(GarbageCollectorPeerGroup peerGroup) Sets the peer group in which this solver operates.
void	setTrigger(GarbageCollectionTrigger trigger) Set the trigger that defines when garbage collection shall be started

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

createReferenceProvider, initialize

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

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

从接口继承的方法 soot.jimple.infoflow.solver.gcSolver.IGarbageCollector

gc, notifySolverTerminated

字段详细资料

validateEdges

protected boolean validateEdges

oldEdges

protected Set<heros.solver.PathEdge<N,D>> oldEdges

methodThreshold

protected int methodThreshold

The number of methods to collect as candidates for garbage collection, before halting the taint propagation and actually cleaning them up

edgeThreshold

protected int edgeThreshold

Wait for at least this number of edges before starting the garbage collection

构造器详细资料

AbstractReferenceCountingGarbageCollector

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

AbstractReferenceCountingGarbageCollector

public AbstractReferenceCountingGarbageCollector(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

指定者:

notifyEdgeSchedule 在接口中 IGarbageCollector<N,D>

参数:

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

指定者:

notifyTaskProcessed 在接口中 IGarbageCollector<N,D>

参数:

edge - The edge has been fully processed

hasActiveDependencies

public boolean hasActiveDependencies(soot.SootMethod method)

从接口复制的说明: IGarbageCollectorPeer

Checks whether the given method has any open dependencies in any of the solvers that are members of this peer group that prevent its jump functions from being garbage collected

指定者:

hasActiveDependencies 在接口中 IGarbageCollectorPeer

参数:

method - The method to check

返回:

True it the method has active dependencies and thus cannot be garbage-collected, false otherwise

gcImmediate

protected void gcImmediate()

Immediately performs garbage collection

onBeforeRemoveEdges

protected void onBeforeRemoveEdges()

Method that is called before the first edge is removed from the jump functions

onAfterRemoveEdges

protected void onAfterRemoveEdges(int gcedMethods)

Method that is called after the last edge has been removed from the jump functions

参数:

gcedMethods - The number of methods for which edges have been removed

getGcedMethods

public int getGcedMethods()

从接口复制的说明: IGarbageCollector

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

指定者:

getGcedMethods 在接口中 IGarbageCollector<N,D>

返回:

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

指定者:

getGcedEdges 在接口中 IGarbageCollector<N,D>

返回:

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

setEdgeThreshold

public void setEdgeThreshold(int threshold)

Sets the minimum number of edges that shall be propagated before triggering the garbage collection

参数:

threshold - The minimum number of edges that shall be propagated before triggering the garbage collection

setTrigger

public void setTrigger(GarbageCollectionTrigger trigger)

Set the trigger that defines when garbage collection shall be started

参数:

trigger - The trigger that defines when garbage collection shall be started

setPeerGroup

public void setPeerGroup(GarbageCollectorPeerGroup peerGroup)

Sets the peer group in which this solver operates. Peer groups are used to synchronize active dependencies between multiple solvers.

参数:

peerGroup - The peer group

setCheckChangeCounter

public void setCheckChangeCounter(boolean checkChangeCounter)

Sets whether the change counter shall be checked when identifying active method dependencies

参数:

checkChangeCounter - True to ensure consistency using change counters, false otherwise