| Interface | Description |
|---|---|
| HostVM |
This is an interface for the functionality that the hosting VM must support.
|
| Class | Description |
|---|---|
| DefaultUnsafePartition |
Marker for default unsafe accesses.
|
| PointstoOptions |
| Enum | Description |
|---|---|
| PointstoOptions.ContextSensitivity |