soot.jimple.infoflow.taintWrappers

类 RecordingTaintWrapper

java.lang.Object

soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper

soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper

所有已实现的接口:

ITaintPropagationWrapper

public class RecordingTaintWrapper
extends AbstractTaintWrapper

Taint wrapper that does not actually provide a library model, but that counts various statistics and evaluation data. It is not exclusive for any method and never returns any taints.

作者:

Steven Arzt

字段概要

从类继承的字段 soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper

manager

构造器概要

构造器

构造器和说明
RecordingTaintWrapper()

方法概要

限定符和类型	方法和说明
Set<Abstraction>	getAliasesForMethod(soot.jimple.Stmt stmt, Abstraction d1, Abstraction taintedPath) Gets the aliases that a summarized method generates for the given abstraction.
Set<soot.SootMethod>	getCallees() Gets the set with all methods for which this taint wrapper was queried
Set<AccessPath>	getTaintsForMethodInternal(soot.jimple.Stmt stmt, AccessPath taintedPath) Checks an invocation statement for black-box taint propagation.
protected 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.
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.

从类继承的方法 soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper

getTaintsForMethod, getWrapperHits, getWrapperMisses, initialize, isExclusive

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

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

构造器详细资料

RecordingTaintWrapper

public RecordingTaintWrapper()

方法详细资料

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.

参数:

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

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.

参数:

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.

参数:

callSite - The call site to check

返回:

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

isExclusiveInternal

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

从类复制的说明: AbstractTaintWrapper

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.

指定者:

isExclusiveInternal 在类中 AbstractTaintWrapper

参数:

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 Set<AccessPath> getTaintsForMethodInternal(soot.jimple.Stmt stmt,
                                                  AccessPath taintedPath)

从类复制的说明: AbstractTaintWrapper

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.

指定者:

getTaintsForMethodInternal 在类中 AbstractTaintWrapper

参数:

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

getCallees

public Set<soot.SootMethod> getCallees()

Gets the set with all methods for which this taint wrapper was queried

返回:

A set containing all methods for which this taint wrapper was queried