NewModel generates a new memory model for a package.

Global is the location of a global variable.

Heap is the location associated with a heap allocation.

Local is the location of a local variable.

Zero is the nil, the only pointer value which cannot be dereferenced.

GenParams encapsulates the information needed for a memory model to generate memory locations.

Type Model represents a memory model for a package.

Class is a memory class.

Loc represents a memory location.