| Class | Description |
|---|---|
| CallUtil |
Utility class to retrieve information about a
Call. |
| CfaUtil |
This is a util class for creating
Cfas. |
| ConstantLookupVisitor |
This
ConstantVisitor is used for field operations and the instanceOf predicate. |
| 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. |