| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.solver.gcSolver |
| 限定符和类型 | 类和说明 |
|---|---|
class |
AbstractReferenceProvider<D,N>
Abstract base class for reference providers
|
class |
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.
|
class |
OnDemandReferenceProvider<D,N>
Implementation of a reference provider that computes transitive dependency
sets on demand
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected IGCReferenceProvider<D,N> |
AbstractGarbageCollector.referenceProvider |
| 限定符和类型 | 方法和说明 |
|---|---|
protected IGCReferenceProvider<D,N> |
AbstractGarbageCollector.createReferenceProvider()
Creates the reference provider that garbage collectors can use to identify
dependencies
|
| 构造器和说明 |
|---|
AbstractGarbageCollector(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(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) |
DefaultGarbageCollector(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) |
ThreadedGarbageCollector(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) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.