soot.jimple.infoflow.taintWrappers

类 TaintWrapperSet

java.lang.Object

soot.jimple.infoflow.taintWrappers.TaintWrapperSet

所有已实现的接口:

IReversibleTaintWrapper, ITaintPropagationWrapper

public class TaintWrapperSet
extends Object
implements IReversibleTaintWrapper

Set of taint wrappers. It supports taint wrapping for a class if at least one of the contained wrappers supports it. The resulting taints are the union of all taints produced by the contained wrappers.

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
TaintWrapperSet()

方法概要

限定符和类型	方法和说明
void	addWrapper(ITaintPropagationWrapper wrapper) Adds the given wrapper to the chain of wrappers.
Set<Abstraction>	getAliasesForMethod(soot.jimple.Stmt stmt, Abstraction d1, Abstraction taintedPath) Gets the aliases that a summarized method generates for the given abstraction.
Set<Abstraction>	getInverseTaintsForMethod(soot.jimple.Stmt stmt, Abstraction d1, Abstraction taintedPath) Checks an invocation statement for black-box taint propagation.
Set<Abstraction>	getTaintsForMethod(soot.jimple.Stmt stmt, Abstraction d1, Abstraction 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.
boolean	supportsCallee(soot.SootMethod method) Checks whether this taint wrapper can in general produce artificial taints for the given callee.
boolean	supportsCallee(soot.jimple.Stmt callSite) Checks whether this taint wrapper can in general produce artificial taints for the given call site.

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

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

构造器详细资料

TaintWrapperSet

public TaintWrapperSet()

方法详细资料

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

addWrapper

public void addWrapper(ITaintPropagationWrapper wrapper)

Adds the given wrapper to the chain of wrappers.

参数:

wrapper - The wrapper to add to the chain.

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

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.

supportsCallee

public boolean supportsCallee(soot.SootMethod method)

从接口复制的说明: ITaintPropagationWrapper

Checks whether this taint wrapper can in general produce artificial taints for the given callee. If an implementation returns "false" for a callee, all call sites for this callee might be removed if not needed elsewhere.

指定者:

supportsCallee 在接口中 ITaintPropagationWrapper

参数:

method - The method to check

返回:

True if this taint wrapper can in general produce taints for the given method.

supportsCallee

public boolean supportsCallee(soot.jimple.Stmt callSite)

从接口复制的说明: ITaintPropagationWrapper

Checks whether this taint wrapper can in general produce artificial taints for the given call site. If an implementation returns "false" for a call site, this call sites might be removed if not needed elsewhere.

指定者:

supportsCallee 在接口中 ITaintPropagationWrapper

参数:

callSite - The call site to check

返回:

True if this taint wrapper can in general produce taints for the given call site.

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

getAliasesForMethod

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

从接口复制的说明: ITaintPropagationWrapper

Gets the aliases that a summarized method generates for the given abstraction. Note that this is a may-alias problem.

指定者:

getAliasesForMethod 在接口中 ITaintPropagationWrapper

参数:

stmt - The statement that calls the summarized method

d1 - The abstraction at the entry point of the method that calls the wrapped method

taintedPath - The abstraction for which the aliases shall be computed

返回:

The set of aliases for the given abstraction or null if no such aliases exist

getInverseTaintsForMethod

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

从接口复制的说明: IReversibleTaintWrapper

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. Note that this method is the inverse of getTaintsForMethod. It obtains the taints that could have been tainted before a certain statement was executed given a taint that was active after the call.

指定者:

getInverseTaintsForMethod 在接口中 IReversibleTaintWrapper

参数:

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. Note that this taint must be valid after the execution of the black-box method.

返回:

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