| Interface | Description |
|---|---|
| JvmTaintTransformer |
Class that can be passed to
JvmTaintTransferRelation to specify how a specific method
call should be treated. |
| 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. |