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. |
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 JvmTaintSource s 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. |