Thank you, I’ll look into it.
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Sent: Thursday, April 25, 2019 11:15 AM
To: Leonid Meyerovich <lmeyerovich@i-a-i.com>
Cc: Heiser, Gernot (Data61, Kensington NSW) <Gernot.Heiser@data61.csiro.au>; devel@sel4.systems
Subject: Re: [seL4] seL4 process memory utilization
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,
Leonid
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