Thank you, I’ll look into it.
From: Matthew Fernandez
Sent: Thursday, April 25, 2019 11:15 AM
To: Leonid Meyerovich
Cc: Heiser, Gernot (Data61, Kensington NSW) ; devel@sel4.systems
Subject: Re: [seL4] seL4 process memory utilization
On 24 Apr 2019, at 07:20, Leonid Meyerovich mailto: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
________________________________
This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.