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 |