A C++ library to detect memory leaks