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) <>;
Subject: Re: [seL4] seL4 process memory utilization



On 24 Apr 2019, at 07:20, Leonid Meyerovich <> 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.

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.