Tootfinder

The downgrading semantics of memory safety
Ren\'e Rydhof Hansen, Andreas Stenb{\ae}k Larsen, Aslan Askarov
https://arxiv.org/abs/2507.11282 https://

The downgrading semantics of memory safety
Memory safety is traditionally characterized in terms of bad things that cannot happen, an approach that is often criticized as unprincipled. Prior work suggest a connection between memory safety and noninterference, but no satisfactory semantic notion of memory safety is currently known. This work proposes a notion of gradual allocator independence that accurately captures many allocator-specific aspects of memory safety. We consider a low-level language with access to an allocator that prov…