| Class | Description |
|---|---|
| CfaUtil |
This is a util class for creating
Cfas. |
| ConstantLookupVisitor |
This
ConstantVisitor is used for field operations and the instanceOf predicate. |
| HeapUtil |
A class with utility methods for the
JvmTreeHeapAbstractState. |
| InstructionClassifier |
Util for operations involving
Instruction. |
| JvmBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>,OuterAbstractStateT extends AbstractState> |
A JVM instance of
BamCpaRun uses a reached set optimized for program location-dependent analysis. |
| JvmBamCpaRun.Builder |
A builder for
JvmBamCpaRun. |