Contents 1 Abstract 2 C++ is under-specified 2.1 Inferring aliasing 2.2 Inferring lifetimes 2.3 Inferring safeness 3 Lifetime safety is static typing 4 Lifetime parameters don’t cause soundness bugs 5 C++ is too irregular for Profiles 5.1 C++ cannot enforce exclusivity 6 Carcinization 7 C++ in the future 8 References Abstract As for dangling pointers and for ownership, this model detects all possible errors. This means that we can guarantee that a program is free of uses of invalidated pointers....