程序包 soot.jimple.infoflow.solver.gcSolver

接口概要

接口	说明
IGarbageCollector<N,D>	Common interface for all garbage collector implementations oin the solver
IGarbageCollectorPeer	A garbage collector that can operate as part of a peer group
IGCReferenceProvider<D,N>	Interface for all implementations that can provide reference counting.

类概要

类	说明
AbstractGarbageCollector<N,D>	Abstract base class for garbage collectors
AbstractReferenceCountingGarbageCollector<N,D>	Abstract base class for garbage collectors based on reference counting
AbstractReferenceProvider<D,N>	Abstract base class for reference providers
AggressiveGarbageCollector<N,D>	Aggressive garbage collector that optimizes memory usage, but may degrade performance by removing path edges too early.
AheadOfTimeReferenceProvider<D,N>	Implementation of a reference provider that computes its dependencies ahead of time, and over-approximates the possible references by considering all transitively callees of a given method as possible locations for new analysis tasks, regardless of context and taint state.
DefaultGarbageCollector<N,D>	The default garbage collector implementation
GarbageCollectorPeerGroup	Set of multiple garbage collectors that share a set of active dependencies
GCSolverPeerGroup	Specialized solver peer group for garbage-collecting solvers
IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>>	A solver for an IFDSTabulationProblem.
IFDSSolver.IncomingRecord<N,D extends FastSolverLinkedNode<D,N>>
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
NullGarbageCollector<N,D>	Mock implementation for a garbage collector that does nothing
OnDemandReferenceProvider<D,N>	Implementation of a reference provider that computes transitive dependency sets on demand
ThreadedGarbageCollector<N,D>	Garbage collector that performs its tasks in a separate thread

枚举概要

枚举	说明
GarbageCollectionTrigger	Possible triggers when to start garbage collection