soot.jimple.infoflow.problems.rules

类 StopAfterFirstKFlowsPropagationRule

java.lang.Object

soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule

soot.jimple.infoflow.problems.rules.StopAfterFirstKFlowsPropagationRule

所有已实现的接口:

ITaintPropagationRule

public class StopAfterFirstKFlowsPropagationRule
extends AbstractTaintPropagationRule

字段概要

从类继承的字段 soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule

manager, results, zeroValue

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
Collection<Abstraction>	propagateCallFlow(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, soot.SootMethod dest, ByReferenceBoolean killAll) Propagates a flow across a call site
Collection<Abstraction>	propagateCallToReturnFlow(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, ByReferenceBoolean killSource, ByReferenceBoolean killAll) Propagates a flow along a the call-to-return edge at a call site
Collection<Abstraction>	propagateNormalFlow(Abstraction d1, Abstraction source, soot.jimple.Stmt stmt, soot.jimple.Stmt destStmt, ByReferenceBoolean killSource, ByReferenceBoolean killAll) Propagates a flow along a normal statement this is not a call or return site
Collection<Abstraction>	propagateReturnFlow(Collection<Abstraction> callerD1s, Abstraction source, soot.jimple.Stmt stmt, soot.jimple.Stmt retSite, soot.jimple.Stmt callSite, ByReferenceBoolean killAll) Propagates a flow along a the return edge

从类继承的方法 soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule

getAliasing, getManager, getResults, getZeroValue

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

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

构造器详细资料

StopAfterFirstKFlowsPropagationRule

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

方法详细资料

propagateNormalFlow

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

从接口复制的说明: ITaintPropagationRule

Propagates a flow along a normal statement this is not a call or return site

参数:

d1 - The context abstraction

source - The abstraction to propagate over the statement

stmt - The statement at which to propagate the abstraction

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

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

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

返回:

The new abstractions to be propagated to the next statement

propagateCallFlow

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

从接口复制的说明: ITaintPropagationRule

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

propagateCallToReturnFlow

public Collection<Abstraction> propagateCallToReturnFlow(Abstraction d1,
                                                         Abstraction source,
                                                         soot.jimple.Stmt stmt,
                                                         ByReferenceBoolean killSource,
                                                         ByReferenceBoolean killAll)

从接口复制的说明: ITaintPropagationRule

Propagates a flow along a the call-to-return edge at a call site

参数:

d1 - The context abstraction

source - The abstraction to propagate over the statement

stmt - The statement at which to propagate the abstraction

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

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

propagateReturnFlow

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

从接口复制的说明: ITaintPropagationRule

Propagates a flow along a the return edge

参数:

callerD1s - The context abstraction at the caller side

source - The abstraction to propagate over the statement

stmt - The statement at which to propagate the abstraction

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 new abstractions to be propagated to the next statement