Doesn't modern C++ offer the ability to write memory safe code?

Can you name an example of a non-trivial C++ program that's memory safe? The only examples I can think of went to extraordinary lengths with formal methods and none of them are widely used.