Memory safety

[Google Scholar]

Notes: undefined behaviour
Papers: azevedo:post:2018, szekeres:sandp:2013

Two different approaches:

azevedo:post:2018 define in terms of what properties a memory-safe system exhibits.
szekeres:sandp:2013 (and probably most people) define in terms of what is not allowed.

Garbage collection, Memory management

The meaning of memory safety [azevedo:post:2018]
SoK: Eternal war in memory [szekeres:sandp:2013]

The opinions expressed are my own views and not my employer’s.