程序包 proguard.analysis.cpa.jvm.domain.taint

package proguard.analysis.cpa.jvm.domain.taint

类	说明
JvmInvokeTaintSink	A JvmTaintSink on a method invocation.
JvmInvokeTaintSink.Builder	Builder for JvmInvokeTaintSink.
JvmMethodTaintSource	A JvmMethodTaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
JvmReturnTaintSink	A JvmTaintSink triggered if the return value of the specified method is tainted.
JvmTaintCpa	The JvmTaintCpa computes abstract states containing TaintSources which can reach the given code location.
JvmTaintSink	The JvmTaintSink adds an interface for extracting sensitive JVM memory locations and to check if the sink matches a given cfa edge.
JvmTaintTransferRelation	The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.
JvmTaintTransformer	Class that can be passed to JvmTaintTransferRelation to specify how a specific method call should be treated.
TaintExpandOperator	This ExpandOperator inherits all the functionalities of a DefaultExpandOperator and in addition taints the return values if the called function is a source.
TaintReduceOperator	This ReduceOperator inherits all the functionalities of a DefaultReduceOperator while adding taint-analysis specific functionalities.