alt Hacker NewsI think you could argue there is already some effort to do type safety at the ISA register level, with e.g. shadow stack or control flow integrity. Isn't that very similar to this, except targeting program state rather than external memory?
Replies
Joker_vD • last Sunday at 8:21 PM
I mean, if the stacks grew upwards, that alone would nip 90% of buffer overflow attacks in the bud. Moving the return address from the activation frame into a separate stack would help as well, but I understand that having an activation frame to be a single piece of data (a current continuation's closure, essentially) can be quite convenient.
➕ show 5 replies
Tagged memory was a thing, and is a thing again on some ARM machines. Check out Google Pixel 9.