soot.jimple.infoflow.handlers

类 SequentialTaintPropagationHandler

java.lang.Object

soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler

所有已实现的接口:

TaintPropagationHandler

public class SequentialTaintPropagationHandler
extends Object
implements TaintPropagationHandler

Taint propagation handler that processes a sequence of inner handlers. For outputs, all generated abstractions are merged into a final abstraction set.

作者:

Steven Arzt

嵌套类概要

从接口继承的嵌套类/接口 soot.jimple.infoflow.handlers.TaintPropagationHandler

TaintPropagationHandler.FlowFunctionType

构造器概要

构造器

构造器和说明
SequentialTaintPropagationHandler() Creates a new, empty sequence of taint propagation handlers
SequentialTaintPropagationHandler(List<TaintPropagationHandler> handlers) Creates a sequence of taint propagation handlers from the given list

方法概要

限定符和类型	方法和说明
void	addAllHandlers(TaintPropagationHandler[] handlers) Adds all of the given taint propagation handlers
void	addHandler(TaintPropagationHandler handler) Adds a new handler to this sequence of handlers
List<TaintPropagationHandler>	getHandlers() Gets the inner handlers registered with this object
void	notifyFlowIn(soot.Unit stmt, Abstraction taint, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a taint is proagated in the data flow engine
Set<Abstraction>	notifyFlowOut(soot.Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a new taint is generated in the data flow engine

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

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

构造器详细资料

SequentialTaintPropagationHandler

public SequentialTaintPropagationHandler()

Creates a new, empty sequence of taint propagation handlers

SequentialTaintPropagationHandler

public SequentialTaintPropagationHandler(List<TaintPropagationHandler> handlers)

Creates a sequence of taint propagation handlers from the given list

参数:

handlers - A list of taint propagation handlers to which all calls shall be relayed

方法详细资料

addHandler

public void addHandler(TaintPropagationHandler handler)

Adds a new handler to this sequence of handlers

参数:

handler - The handler to add to the sequence

getHandlers

public List<TaintPropagationHandler> getHandlers()

Gets the inner handlers registered with this object

返回:

The inner handlers registered with this object

notifyFlowIn

public void notifyFlowIn(soot.Unit stmt,
                         Abstraction taint,
                         InfoflowManager manager,
                         TaintPropagationHandler.FlowFunctionType type)

从接口复制的说明: TaintPropagationHandler

Handler function that is invoked when a taint is proagated in the data flow engine

指定者:

notifyFlowIn 在接口中 TaintPropagationHandler

参数:

stmt - The statement over which the taint is propagated

taint - The taint being propagated

manager - The manager object that gives access to the data flow engine

type - The type of data flow edge being processed

notifyFlowOut

public Set<Abstraction> notifyFlowOut(soot.Unit stmt,
                                      Abstraction d1,
                                      Abstraction incoming,
                                      Set<Abstraction> outgoing,
                                      InfoflowManager manager,
                                      TaintPropagationHandler.FlowFunctionType type)

从接口复制的说明: TaintPropagationHandler

Handler function that is invoked when a new taint is generated in the data flow engine

指定者:

notifyFlowOut 在接口中 TaintPropagationHandler

参数:

stmt - The statement over which the taint is propagated

d1 - The abstraction at the beginning of the current method

incoming - The original abstraction from which the outgoing ones were computed

outgoing - The set of taints being propagated

manager - The manager object that gives access to the data flow engine

type - The type of data flow edge being processed

返回:

The new abstractions to be propagated on. If you do not want to change the normal propagation behavior, just return the value of the "taints" parameter as-is.

addAllHandlers

public void addAllHandlers(TaintPropagationHandler[] handlers)

Adds all of the given taint propagation handlers

参数:

handlers - The taint propagation handlers to add