[matvore]

The last time I used a leak finder, a memory allocation which still has a ptr to it is not a leak.

You are conflating unfreed memory with unreferencable memory.

[TazeTSchnitzel]

Reachability is one strategy for detecting leaks but it's not the only one. Checking for unfreed memory is easier to implement.