soot.jimple.infoflow.solver.gcSolver

类 AheadOfTimeReferenceProvider<D,N>

java.lang.Object

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

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

所有已实现的接口:

IGCReferenceProvider<D,N>

public class AheadOfTimeReferenceProvider<D,N>
extends AbstractReferenceProvider<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.

作者:

Steven Arzt

字段概要

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

icfg

构造器概要

构造器

构造器和说明
AheadOfTimeReferenceProvider(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

构造器详细资料

AheadOfTimeReferenceProvider

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

返回: