| Interface | Description |
|---|---|
| Model |
This interface can be implemented for each class that needs to be modeled during an analysis.
|
| Class | Description |
|---|---|
| ArrayModel |
A
Model to track array values. |
| ClassLoaderModel | |
| ClassModel |
A
Model to track specific Clazz constants. |