The downgrading semantics of memory safety (Extended version)

René Rydhof Hansen, Andreas Stenbæk Larsen, Aslan Askarov

Memory safety is traditionally characterized in terms of bad things that cannot happen. This approach is currently embraced in the literature on formal methods for memory safety. H…