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.
JvmTaintAbstractState	The JvmTaintAbstractState is a JvmAbstractState with features specific to taint analysis.
JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState>	This run wraps the execution of BAM JvmTaintCpa.
JvmTaintBamCpaRun.Builder	A builder for JvmTaintBamCpaRun.
JvmTaintCpa	The JvmTaintCpa computes abstract states containing JvmTaintSources which can reach the given code location.
JvmTaintExpandOperator	This ExpandOperator inherits all the functionalities of a JvmDefaultExpandOperator and in addition taints the return values if the called function is a source.
JvmTaintMemoryLocationBamCpaRun	This run wraps the execution of BAM JvmMemoryLocationCpa.
JvmTaintMemoryLocationBamCpaRun.Builder	A builder for JvmTaintMemoryLocationBamCpaRun.
JvmTaintReduceOperator	This ReduceOperator inherits all the functionalities of a JvmDefaultReduceOperator and adjusts the return type to be the JvmTaintAbstractState.
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.