soot.jimple.infoflow.problems.rules

类 PropagationRuleManager

java.lang.Object

soot.jimple.infoflow.problems.rules.PropagationRuleManager

public class PropagationRuleManager
extends Object

Manager class for all propagation rules

作者:

Steven Arzt

字段概要

字段

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

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
Set<Abstraction>	applyCallFlowFunction(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, soot.SootMethod dest, ByReferenceBoolean killAll) Propagates a flow across a call site
Set<Abstraction>	applyCallToReturnFlowFunction(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt) Applies all rules to the call-to-return flow function
Set<Abstraction>	applyCallToReturnFlowFunction(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, ByReferenceBoolean killSource, ByReferenceBoolean killAll, boolean noAddSource) Applies all rules to the call-to-return flow function
Set<Abstraction>	applyNormalFlowFunction(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, soot.jimple.Stmt destStmt) Applies all rules to the normal flow function
Set<Abstraction>	applyNormalFlowFunction(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, soot.jimple.Stmt destStmt, ByReferenceBoolean killSource, ByReferenceBoolean killAll) Applies all rules to the normal flow function
Set<Abstraction>	applyReturnFlowFunction(Collection<Abstraction> callerD1s, Abstraction source, soot.jimple.Stmt stmt, soot.jimple.Stmt retSite, soot.jimple.Stmt callSite, ByReferenceBoolean killAll) Applies all rules to the return flow function
ITaintPropagationRule[]	getRules() Gets the array of rules registered in this manager object

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

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

字段详细资料

manager

protected final InfoflowManager manager

zeroValue

protected final Abstraction zeroValue

results

protected final TaintPropagationResults results

rules

protected final ITaintPropagationRule[] rules

构造器详细资料

PropagationRuleManager

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

方法详细资料

applyNormalFlowFunction

public Set<Abstraction> applyNormalFlowFunction(Abstraction d1,
                                                Abstraction source,
                                                soot.jimple.Stmt stmt,
                                                soot.jimple.Stmt destStmt)

Applies all rules to the normal flow function

参数:

d1 - The context abstraction

source - The incoming taint to propagate over the given statement

stmt - The statement to which to apply the rules

destStmt - The next statement to which control flow will continue after processing stmt

返回:

The collection of outgoing taints

applyNormalFlowFunction

public Set<Abstraction> applyNormalFlowFunction(Abstraction d1,
                                                Abstraction source,
                                                soot.jimple.Stmt stmt,
                                                soot.jimple.Stmt destStmt,
                                                ByReferenceBoolean killSource,
                                                ByReferenceBoolean killAll)

Applies all rules to the normal flow function

参数:

d1 - The context abstraction

source - The incoming taint to propagate over the given statement

stmt - The statement to which to apply the rules

destStmt - The next statement to which control flow will continue after processing stmt

killSource - Outgoing value for the rule to indicate whether the incoming taint abstraction shall be killed

killAll - Outgoing value that receives whether all taints shall be killed and nothing shall be propagated onwards

返回:

The collection of outgoing taints

applyCallFlowFunction

public Set<Abstraction> applyCallFlowFunction(Abstraction d1,
                                              Abstraction source,
                                              soot.jimple.Stmt stmt,
                                              soot.SootMethod dest,
                                              ByReferenceBoolean killAll)

Propagates a flow across a call site

参数:

d1 - The context abstraction

source - The abstraction to propagate over the statement

stmt - The statement at which to propagate the abstraction

dest - The destination method into which to propagate the abstraction

killAll - Outgoing value for the rule to specify whether all taints shall be killed, i.e., nothing shall be propagated

返回:

The new abstractions to be propagated to the next statement

applyCallToReturnFlowFunction

public Set<Abstraction> applyCallToReturnFlowFunction(Abstraction d1,
                                                      Abstraction source,
                                                      soot.jimple.Stmt stmt)

Applies all rules to the call-to-return flow function

参数:

d1 - The context abstraction

source - The incoming taint to propagate over the given statement

stmt - The statement to which to apply the rules

返回:

The collection of outgoing taints

applyCallToReturnFlowFunction

public Set<Abstraction> applyCallToReturnFlowFunction(Abstraction d1,
                                                      Abstraction source,
                                                      soot.jimple.Stmt stmt,
                                                      ByReferenceBoolean killSource,
                                                      ByReferenceBoolean killAll,
                                                      boolean noAddSource)

Applies all rules to the call-to-return flow function

参数:

d1 - The context abstraction

source - The incoming taint to propagate over the given statement

stmt - The statement to which to apply the rules

killSource - Outgoing value for the rule to indicate whether the incoming taint abstraction shall be killed

返回:

The collection of outgoing taints

applyReturnFlowFunction

public Set<Abstraction> applyReturnFlowFunction(Collection<Abstraction> callerD1s,
                                                Abstraction source,
                                                soot.jimple.Stmt stmt,
                                                soot.jimple.Stmt retSite,
                                                soot.jimple.Stmt callSite,
                                                ByReferenceBoolean killAll)

Applies all rules to the return flow function

参数:

callerD1s - The context abstraction at the caller side

source - The incoming taint to propagate over the given statement

stmt - The statement to which to apply the rules

retSite - The return site to which the execution returns after leaving the current method

callSite - The call site of the call from which we return

killAll - Outgoing value for the rule to specify whether all taints shall be killed, i.e., nothing shall be propagated

返回:

The collection of outgoing taints

getRules

public ITaintPropagationRule[] getRules()

Gets the array of rules registered in this manager object

返回:

The array of rules registered in this manager object