Pointers Are Complicated III, or: Pointer-integer casts exposed
In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...
Michael Sammler Pointers Are Complicated Strict Provenance Undefined Behavior Abstract Machine Stacked Borrows
Source: ralfj.de