Type-safe code accesses only the memory locations:

A.
It is authorized to access.

B.
Of objects on the heap.

C.
Of objects that are static or shared.

D.
Of objects on the stack.