soot.jimple.infoflow.taintWrappers

类 AbstractTaintWrapper

java.lang.Object

soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper

所有已实现的接口:

ITaintPropagationWrapper

直接已知子类:

EasyTaintWrapper, IdentityTaintWrapper, RecordingTaintWrapper

public abstract class AbstractTaintWrapper
extends Object
implements ITaintPropagationWrapper

Abstract base class for all taint propagation wrappers

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected InfoflowManager	manager Data flow manager that gives access to internal solver objects

构造器概要

构造器

构造器和说明
AbstractTaintWrapper()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	getTaintsForMethod(soot.jimple.Stmt stmt, Abstraction d1, Abstraction taintedPath) Checks an invocation statement for black-box taint propagation.
abstract Set<AccessPath>	getTaintsForMethodInternal(soot.jimple.Stmt stmt, AccessPath taintedPath) Checks an invocation statement for black-box taint propagation.
int	getWrapperHits() Gets the number of times in which the taint wrapper was able to exclusively model a method call.
int	getWrapperMisses() Gets the number of times in which the taint wrapper was NOT able to exclusively model a method call.
void	initialize(InfoflowManager manager) This method is called before the taint propagation is started to give the taint wrapper the chance to initialize required components once Soot is running, but before it is queried for the first time.
boolean	isExclusive(soot.jimple.Stmt stmt, Abstraction taintedPath) Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are no other taints than those produced by the wrapper.
protected abstract boolean	isExclusiveInternal(soot.jimple.Stmt stmt, AccessPath taintedPath) Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are no other taints than those produced by the wrapper.

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

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

从接口继承的方法 soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper

getAliasesForMethod, supportsCallee, supportsCallee

字段详细资料

manager

protected InfoflowManager manager

Data flow manager that gives access to internal solver objects

构造器详细资料

AbstractTaintWrapper

public AbstractTaintWrapper()

方法详细资料

initialize

public void initialize(InfoflowManager manager)

从接口复制的说明: ITaintPropagationWrapper

This method is called before the taint propagation is started to give the taint wrapper the chance to initialize required components once Soot is running, but before it is queried for the first time. Note that this method is guaranteed to be called only once and only by a single thread.

指定者:

initialize 在接口中 ITaintPropagationWrapper

参数:

manager - The manager object providing access to the data flow solver processing the IFDS edges and the interprocedural control flow graph

isExclusiveInternal

protected abstract boolean isExclusiveInternal(soot.jimple.Stmt stmt,
                                               AccessPath taintedPath)

Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are no other taints than those produced by the wrapper. In effect, this tells the analysis not to propagate inside the callee.

参数:

stmt - The call statement to check

taintedPath - The tainted field or value to propagate

返回:

True if this taint wrapper is exclusive, otherwise false.

getTaintsForMethodInternal

public abstract Set<AccessPath> getTaintsForMethodInternal(soot.jimple.Stmt stmt,
                                                           AccessPath taintedPath)

Checks an invocation statement for black-box taint propagation. This allows the wrapper to artificially propagate taints over method invocations without requiring the analysis to look inside the method.

参数:

stmt - The invocation statement which to check for black-box taint propagation

taintedPath - The tainted field or value to propagate

返回:

The list of tainted values after the invocation statement referenced in Stmt has been executed

isExclusive

public boolean isExclusive(soot.jimple.Stmt stmt,
                           Abstraction taintedPath)

从接口复制的说明: ITaintPropagationWrapper

Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are no other taints than those produced by the wrapper. In effect, this tells the analysis not to propagate inside the callee.

指定者:

isExclusive 在接口中 ITaintPropagationWrapper

参数:

stmt - The call statement to check

taintedPath - The tainted field or value to propagate

返回:

True if this taint wrapper is exclusive, otherwise false.

getTaintsForMethod

public Set<Abstraction> getTaintsForMethod(soot.jimple.Stmt stmt,
                                           Abstraction d1,
                                           Abstraction taintedPath)

从接口复制的说明: ITaintPropagationWrapper

Checks an invocation statement for black-box taint propagation. This allows the wrapper to artificially propagate taints over method invocations without requiring the analysis to look inside the method.

指定者:

getTaintsForMethod 在接口中 ITaintPropagationWrapper

参数:

stmt - The invocation statement which to check for black-box taint propagation

d1 - The abstraction at the beginning of the method that calls the wrapped method

taintedPath - The tainted field or value to propagate

返回:

The list of tainted values after the invocation statement referenced in Stmt has been executed

getWrapperHits

public int getWrapperHits()

从接口复制的说明: ITaintPropagationWrapper

Gets the number of times in which the taint wrapper was able to exclusively model a method call. This is equal to the number of times isExclusive() returned true.

指定者:

getWrapperHits 在接口中 ITaintPropagationWrapper

返回:

The number of method model requests that succeeded

getWrapperMisses

public int getWrapperMisses()

从接口复制的说明: ITaintPropagationWrapper

Gets the number of times in which the taint wrapper was NOT able to exclusively model a method call. This is equal to the number of times isExclusive() returned false.

指定者:

getWrapperMisses 在接口中 ITaintPropagationWrapper

返回:

The number of method model requests that failed