soot.jimple.infoflow.aliasing

类 AbstractInteractiveAliasStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.AbstractAliasStrategy

soot.jimple.infoflow.aliasing.AbstractInteractiveAliasStrategy

所有已实现的接口:

IAliasingStrategy

直接已知子类:

LazyAliasingStrategy

public abstract class AbstractInteractiveAliasStrategy
extends AbstractAliasStrategy

字段概要

从类继承的字段 soot.jimple.infoflow.aliasing.AbstractAliasStrategy

manager

构造器概要

构造器

构造器和说明
AbstractInteractiveAliasStrategy(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
void	computeAliasTaints(Abstraction d1, soot.jimple.Stmt src, soot.Value targetValue, Set<Abstraction> taintSet, soot.SootMethod method, Abstraction newAbs) Computes the taints for the aliases of a given tainted variable

从类继承的方法 soot.jimple.infoflow.aliasing.AbstractAliasStrategy

hasProcessedMethod

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

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

从接口继承的方法 soot.jimple.infoflow.aliasing.IAliasingStrategy

cleanup, getSolver, injectCallingContext, isFlowSensitive, isInteractive, isLazyAnalysis, mayAlias, requiresAnalysisOnReturn

构造器详细资料

AbstractInteractiveAliasStrategy

public AbstractInteractiveAliasStrategy(InfoflowManager manager)

方法详细资料

computeAliasTaints

public void computeAliasTaints(Abstraction d1,
                               soot.jimple.Stmt src,
                               soot.Value targetValue,
                               Set<Abstraction> taintSet,
                               soot.SootMethod method,
                               Abstraction newAbs)

从接口复制的说明: IAliasingStrategy

Computes the taints for the aliases of a given tainted variable

参数:

d1 - The context in which the variable has been tainted

src - The statement that tainted the variable

targetValue - The target value which has been tainted

taintSet - The set to which all generated alias taints shall be added

method - The method containing src

newAbs - The newly generated abstraction for the variable taint