| Interface | Description |
|---|---|
| JvmTaintHeapAbstractState |
An interface for object tainting.
|
| JvmTaintTransformer |
Class that can be passed to
JvmTaintTransferRelation to specify how a specific method
call should be treated. |
| Class | Description |
|---|---|
| JvmBasicTaintTreeHeapFollowerAbstractState |
This is a
JvmTreeHeapFollowerAbstractState without object tainting. |
| 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. |
| JvmTaintTreeHeapFollowerAbstractState |
This is a
JvmTreeHeapFollowerAbstractState with the possibility of object tainting. |