soot.jimple.infoflow.solver.gcSolver

类 OnDemandReferenceProvider<D,N>

java.lang.Object

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

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

类型参数:

D -

N -

所有已实现的接口:

IGCReferenceProvider<D,N>

public class OnDemandReferenceProvider<D,N>
extends AbstractReferenceProvider<D,N>

Implementation of a reference provider that computes transitive dependency sets on demand

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected com.google.common.cache.LoadingCache<soot.SootMethod,Set<soot.SootMethod>>	methodToReferences

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

icfg

构造器概要

构造器

构造器和说明
OnDemandReferenceProvider(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod> icfg)

方法概要

限定符和类型	方法和说明
Set<soot.SootMethod>	getMethodReferences(soot.SootMethod method, FastSolverLinkedNode<D,N> context) Given a method and a context, gets the set of methods that in which the solver can transitively spawn new analysis tasks

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

getTransitiveCallees

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

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

字段详细资料

methodToReferences

protected final com.google.common.cache.LoadingCache<soot.SootMethod,Set<soot.SootMethod>> methodToReferences

构造器详细资料

OnDemandReferenceProvider

public OnDemandReferenceProvider(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod> icfg)

方法详细资料

getMethodReferences

public Set<soot.SootMethod> getMethodReferences(soot.SootMethod method,
                                                FastSolverLinkedNode<D,N> context)

从接口复制的说明: IGCReferenceProvider

Given a method and a context, gets the set of methods that in which the solver can transitively spawn new analysis tasks

返回: