ASLR doesn't prevent you from guessing, it merely makes it more difficult to guess. In general you could force the usage of any memory safe language. Here, In

ASLR doesn't prevent you from guessing, it merely makes it more difficult to guess. In general you could force the usage of any memory safe language. Here, In this paper they used/reference something call CARAT, Compiler and Runtime address translation, which works at the level of LLVM IR, it seems interesting but I haven't read through the CARAT papers yet.