On 24 Apr 2019, at 07:20, Leonid Meyerovich <lmeyerovich@i-a-i.com> wrote:

Yes, I, probably, was not specific enough. My question was not about kernel memory.
I'd like to have something to support memory leak investigation, for the memory which is allocated by malloc (libmuslc library).
BTW, how libmuslc get memory for memory management?

Thank you,

This isn’t quite what you want, but if it’s still functional there’s a rudimentary heap debugger I wrote a while back. You might be able to bend it to your purpose.  https://github.com/seL4/seL4_libs/blob/master/libsel4debug/src/alloc.c