Open adam-mcdaniel opened 4 years ago
To make programs more correct, runtime checks could be added for determining whether or not the program is accessing memory it does not own.
To be a valid pointer, it must either:
Dereferencing an address that violates either of those rules could throw a accessed unowned memory error.
accessed unowned memory
Does this mean that every dereference of a pointer has to be checked? I'm assuming performance is not really a concern right now, but does this not generate a lot of overhead?
To make programs more correct, runtime checks could be added for determining whether or not the program is accessing memory it does not own.
To be a valid pointer, it must either:
Dereferencing an address that violates either of those rules could throw a
accessed unowned memory
error.