soot.jimple.infoflow.problems.rules

类 AbstractTaintPropagationRule

java.lang.Object

soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule

所有已实现的接口:

ITaintPropagationRule

直接已知子类:

ArrayPropagationRule, ExceptionPropagationRule, ImplicitPropagtionRule, SinkPropagationRule, SkipSystemClassRule, SourcePropagationRule, StaticPropagationRule, StopAfterFirstKFlowsPropagationRule, StrongUpdatePropagationRule, TypingPropagationRule, WrapperPropagationRule

public abstract class AbstractTaintPropagationRule
extends Object
implements ITaintPropagationRule

Abstract base class for all taint propagation rules

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected InfoflowManager	manager
protected TaintPropagationResults	results
protected Abstraction	zeroValue

构造器概要

构造器

构造器和说明
AbstractTaintPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)

方法概要

限定符和类型	方法和说明
protected Aliasing	getAliasing()
protected InfoflowManager	getManager()
protected TaintPropagationResults	getResults()
protected Abstraction	getZeroValue()

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

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

从接口继承的方法 soot.jimple.infoflow.problems.rules.ITaintPropagationRule

propagateCallFlow, propagateCallToReturnFlow, propagateNormalFlow, propagateReturnFlow

字段详细资料

manager

protected final InfoflowManager manager

zeroValue

protected final Abstraction zeroValue

results

protected final TaintPropagationResults results

构造器详细资料

AbstractTaintPropagationRule

public AbstractTaintPropagationRule(InfoflowManager manager,
                                    Abstraction zeroValue,
                                    TaintPropagationResults results)

方法详细资料

getManager

protected InfoflowManager getManager()

getAliasing

protected Aliasing getAliasing()

getZeroValue

protected Abstraction getZeroValue()

getResults

protected TaintPropagationResults getResults()