はてなブックマーク

1 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. – A brief introduction to C++’s model for type- and resource- safety[type-and-resource-safety-2015] Safety Profiles were introduced in 2015 with the promise to detect all lifetime safety defects in existing C++ code.