Ownership in low-level intermediate representation

Siddharth Priya, Arie Gurfinkel

The concept of ownership in high level languages can aid both the programmer and the compiler to reason about the validity of memory operations. Previously, ownership semantics has…