Package proguard.analysis.cpa.jvm.domain.taint

Interface Summary

Interface	Description
JvmTaintTransformer	Class that can be passed to JvmTaintTransferRelation to specify how a specific method call should be treated.

Class Summary

Class	Description
JvmInvokeTaintSink	A JvmTaintSink on a method invocation.
JvmInvokeTaintSink.Builder	Builder for JvmInvokeTaintSink.
JvmReturnTaintSink	A JvmTaintSink triggered if the return value of the specified method is tainted.
JvmTaintCpa	The JvmTaintCpa computes abstract states containing JvmTaintSources 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.
JvmTaintSource	A JvmTaintSource specifies a method which can taint any (subset) of the following: the instance, the return value, the argument objects, or static fields.
JvmTaintTransferRelation	The JvmTaintTransferRelation is parametrized by a set of TaintSource methods.
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.