microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
103 stars 28 forks source link

pdclib: fix memory leak in dlmalloc #9

Closed jserv closed 6 years ago

0xabu commented 6 years ago

Thanks for the contribution! I don't see any reason to apply this fix here though ... the pdclib heap allocator is not used by Komodo (if you look at pdclib/subdir.mk you will see that it's not even built).

In fact, pdclib itself is not used by the Komodo monitor and is really only there for a few convenience functions (mostly printf) in the bootloader. I think at this point in development it would make more sense for us to remove pdclib than apply fixes to the unused portions of it.