soot.jimple.infoflow.problems.rules

接口 ITaintPropagationRule

所有已知实现类:

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

public interface ITaintPropagationRule

Common interface for taint propagation rules

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
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

方法详细资料

propagateNormalFlow

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

参数:

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

Collection<Abstraction> propagateCallFlow(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

propagateCallToReturnFlow

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

参数:

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

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

参数:

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

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

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

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