| Class | Description |
|---|---|
| JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState> |
This run wraps the execution of BAM
JvmTaintCpa. |
| JvmTaintCpa |
The
JvmTaintCpa computes abstract states containing TaintSources 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. |
| JvmTaintSink |
The
JvmTaintSink adds an interface for extracting sensitive JVM memory locations. |
| JvmTaintTransferRelation |
The
JvmTaintTransferRelation is parametrized by a set of TaintSource methods. |