An easy-to-use leak detector for C and C++