程序包 soot.jimple.infoflow.taintWrappers

接口概要

接口	说明
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	This interface declares methods to define classes and methods which should not be analyzed directly.
ITaintWrapperDataFlowAnalysis	Common interface for all data flow analyses that support taint wrappers

类概要

类	说明
AbstractTaintWrapper	Abstract base class for all taint propagation wrappers
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.
IdentityTaintWrapper	Taints the return value of a method call if one of the parameter values or the base object is tainted.
RecordingTaintWrapper	Taint wrapper that does not actually provide a library model, but that counts various statistics and evaluation data.
TaintWrapperList	List of taint wrappers.
TaintWrapperSet	Set of taint wrappers.