> The correctness of the binary is the issue for a compiler, not for the run-time . That is not true. As the paper goes into depth, linear memory, lack of ASLR

> The correctness of the binary is the issue for a compiler, not for the run-time . That is not true. As the paper goes into depth, linear memory, lack of ASLR, and the lack of read-only memory are problematic regardless. The latter is the most important imo.