seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4utils: Fix alloc leak in elf loading #36

Closed kent-mcleod closed 3 years ago

kent-mcleod commented 3 years ago

This elfloading implementation guarantees that it doesn't leave allocations behind in the loader allocators even if it fails. Fix area where this doesn't occur.

Signed-off-by: Kent McLeod kent@kry10.com

kent-mcleod commented 3 years ago

Fixes https://github.com/seL4/seL4_libs/issues/35