> On 24 Apr 2019, at 07:20, Leonid Meyerovich <[email protected]> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
