接口的使用
soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper

使用ITaintPropagationWrapper的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.codeOptimization
soot.jimple.infoflow.problems
soot.jimple.infoflow.taintWrappers

soot.jimple.infoflow中ITaintPropagationWrapper的使用

声明为ITaintPropagationWrapper的soot.jimple.infoflow中的字段

限定符和类型	字段和说明
protected ITaintPropagationWrapper	AbstractInfoflow.taintWrapper

返回ITaintPropagationWrapper的soot.jimple.infoflow中的方法

限定符和类型	方法和说明
ITaintPropagationWrapper	InfoflowManager.getTaintWrapper() Gets the taint wrapper to be used for handling library calls
ITaintPropagationWrapper	AbstractInfoflow.getTaintWrapper()

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow中的方法

限定符和类型	方法和说明
void	AbstractInfoflow.setTaintWrapper(ITaintPropagationWrapper wrapper)

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow中的构造器

构造器和说明
InfoflowManager(InfoflowConfiguration config, IInfoflowSolver forwardSolver, IInfoflowCFG icfg, ISourceSinkManager sourceSinkManager, ITaintPropagationWrapper taintWrapper, soot.FastHierarchy hierarchy, AccessPathFactory accessPathFactory, GlobalTaintManager globalTaintManager)

soot.jimple.infoflow.codeOptimization中ITaintPropagationWrapper的使用

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow.codeOptimization中的方法

限定符和类型	方法和说明
void	DeadCodeEliminator.run(InfoflowManager manager, Collection<soot.SootMethod> entryPoints, ISourceSinkManager sourcesSinks, ITaintPropagationWrapper taintWrapper)
void	ICodeOptimizer.run(InfoflowManager manager, Collection<soot.SootMethod> entryPoints, ISourceSinkManager sourcesSinks, ITaintPropagationWrapper taintWrapper) Runs the coe optimization

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow.codeOptimization中的构造器

构造器和说明
InterproceduralConstantValuePropagator(InfoflowManager manager, Collection<soot.SootMethod> excludedMethods, ISourceSinkManager sourceSinkManager, ITaintPropagationWrapper taintWrapper) Creates a new instance of the InterproceduralConstantValuePropagator class

soot.jimple.infoflow.problems中ITaintPropagationWrapper的使用

声明为ITaintPropagationWrapper的soot.jimple.infoflow.problems中的字段

限定符和类型	字段和说明
protected ITaintPropagationWrapper	AbstractInfoflowProblem.taintWrapper

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow.problems中的方法

限定符和类型	方法和说明
void	AbstractInfoflowProblem.setTaintWrapper(ITaintPropagationWrapper wrapper) Sets the taint wrapper that shall be used for applying external library models
void	BackwardsInfoflowProblem.setTaintWrapper(ITaintPropagationWrapper wrapper)

soot.jimple.infoflow.taintWrappers中ITaintPropagationWrapper的使用

soot.jimple.infoflow.taintWrappers中ITaintPropagationWrapper的子接口

限定符和类型	接口和说明
interface	IReversibleTaintWrapper While a normal ITaintPropagationWrapper answers the question which taints are valid after a given statement has been called with a given incoming taint abstraction, a IReversibleTaintWrapper can also identify those taint that were possibly tainted before a given statement if the result of that statement is a given taint.

实现ITaintPropagationWrapper的soot.jimple.infoflow.taintWrappers中的类

限定符和类型	类和说明
class	AbstractTaintWrapper Abstract base class for all taint propagation wrappers
class	EasyTaintWrapper A list of methods is passed which contains signatures of instance methods that taint their base objects if they are called with a tainted parameter.
class	IdentityTaintWrapper Taints the return value of a method call if one of the parameter values or the base object is tainted.
class	RecordingTaintWrapper Taint wrapper that does not actually provide a library model, but that counts various statistics and evaluation data.
class	TaintWrapperList List of taint wrappers.
class	TaintWrapperSet Set of taint wrappers.

返回ITaintPropagationWrapper的soot.jimple.infoflow.taintWrappers中的方法

限定符和类型	方法和说明
ITaintPropagationWrapper	ITaintWrapperDataFlowAnalysis.getTaintWrapper() Gets the taint wrapper to be used for propagating taints over unknown (library) callees.

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow.taintWrappers中的方法

限定符和类型	方法和说明
void	TaintWrapperList.addWrapper(ITaintPropagationWrapper wrapper) Adds the given wrapper to the chain of wrappers.
void	TaintWrapperSet.addWrapper(ITaintPropagationWrapper wrapper) Adds the given wrapper to the chain of wrappers.
void	ITaintWrapperDataFlowAnalysis.setTaintWrapper(ITaintPropagationWrapper taintWrapper) Sets the taint wrapper to be used for propagating taints over unknown (library) callees.

参数类型为ITaintPropagationWrapper的soot.jimple.infoflow.taintWrappers中的构造器

构造器和说明
TaintWrapperList(ITaintPropagationWrapper... wrappers)