I can't answer your question, but I have used memcheck in the past with some C++ code that used a pooling allocator, and it appeared to work correctly. I deliberately inserted a leak and it found it, ...