Or have global pointers be in a specific range, then replace pointer dereference with a check if the pointer is in that range and if yes, read the real pointer

Or have global pointers be in a specific range, then replace pointer dereference with a check if the pointer is in that range and if yes, read the real pointer value from a table. Keeping the fake pointer values consistent would be tricky, but not impossible given that you have a full view of the program. Edit: Or just live with the fact that certain kinds of changes require a program restart.