Safe C++ Extensions proposal would provide C++ developers with memory-safe implementations of essential data structures and ... compromise lifetime safety, type safety, or thread safety.

It detects memory leaks, multiple de-allocation of the same data, underwrites and overwrites and writes to already de-allocated data. It displays allocation and de-allocation statistics. It is ...