| Interface | Description |
|---|---|
| JvmTaintHeapAbstractState |
An interface for object tainting.
|
| 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. |